Search results

No automatic re-scan when sorries are added back after project is marked COMPLETE

Status: Open.

#17 In frenzymath/Archon;

· TengshunYang opened on Apr 15, 2026

--serial mode crashes before prover phase: local: can only be used in a function

Status: Open.

#16 In frenzymath/Archon;

· TengshunYang opened on Apr 15, 2026

mathlib-unavailable-theorems.md contains factual inaccuracies (e.g., "Model categories — no definitions exist")

Status: Open.

#15 In frenzymath/Archon;

· surenny opened on Apr 14, 2026

Add resume-based retry mechanism to run_claude in archon-loop.sh

Status: Open.

#12 In frenzymath/Archon;

· surenny opened on Apr 13, 2026

Plan agent rewrites PROGRESS.md without ## Current Objectives — silently breaks prover dispatch for 9 consecutive iterations

Status: Open.

#10 In frenzymath/Archon;

· surenny opened on Apr 11, 2026

Prover agents never use MCP tools; Skill invocations fall back to Bash with 'command not found'

Status: Open.

#9 In frenzymath/Archon;

· surenny opened on Apr 9, 2026