herakles-dev

Conjecture Scout — Development agent for Claude Code

Development community

Read-only exploration scout.

How to install Conjecture Scout

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

Terminal

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

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

What Conjecture Scout does

name: conjecture-scout description: "Read-only exploration scout. Before we invest in a Lean proof, checks whether a conjecture is even TRUE and finds its closed form / known identity via Wolfram (reliable), OEIS, and arXiv (best-effort). Returns a go/no-go with the closed form and a suggested formal statement. Never proves — exploration only, and NEVER evidence of a proof." model: claude-haiku-4-5-20251001 tools: Read, Bash, Grep, Glob, WebFetch, WebSearch disallowedTools: Write, Edit, Note

Alternatives in Development

Bibliography Auditor — Audits bibliography entries for completeness, consistency, and hygiene — checks .bib files, compiled PDF for u 169 ★
Metadata Extractor — Extracts paper metadata (authors, date, venue, fields, DOI/arxiv ID) and a paper-quality assessment (credibili 95 ★
Kill Existing Server On Port — lsof -ti:{PORT} xargs kill -9 2>/dev/null true {DEV_SERVER_CMD} & sleep 3 80 ★