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:

• See references/runners-catalog.md for the full catalog of tracked runners

2. Research Updates