herakles-dev

Problem Scout — Development agent for Claude Code

Development community

Read-only target-board scout for the finite-computation solver layer.

How to install Problem Scout

Installs to ~/.claude/agents/herakles-dev-lean-proof-agents-problem-scout.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/herakles-dev/lean-proof-agents/HEAD/.claude/agents/problem-scout.md -o ~/.claude/agents/herakles-dev-lean-proof-agents-problem-scout.md

Restart Claude Code, or start a new session, for it to be picked up.

What Problem Scout does

name: problem-scout description: "Read-only target-board scout for the finite-computation solver layer. Given 'find me an attemptable finite-computation Erdős target', runs `erdos-fetch.sh cat-a`, cross-checks the certificate lemmas in `MathProof/Certify/`, and returns an ROI-ranked shortlist (id, $/recognition, why-tractable, suggested search shape, certificate shape). Never proves and never formalizes — Explore-tier triage only; the board is a scratchpad, never evidence." model: claude-hai