runner-research

Installation
SKILL.md

Runner Research

Research AI agent runners to keep LeanSpec's runner registry and configurations current as the ecosystem evolves rapidly.

Workflow

1. Gather Current State

Read the runner registry source to understand what LeanSpec currently supports:

rust/leanspec-core/src/sessions/runner.rs  # RunnerRegistry::builtins()

Read the current runner catalog reference for known details:

2. Research Updates

Related skills

More from codervisor/lean-spec

Installs
4
GitHub Stars
242
First Seen
Mar 3, 2026