{"owner":"frenzymath","github":"https://github.com/frenzymath","claimed":false,"inventory":[],"indexed":[{"repo":"frenzymath/Archon","github":"https://github.com/frenzymath/Archon","description":"AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.","language":"Python","stars":200,"topics":["ai-agents","automation","claude","claude-code","codex","dag","formal-methods","lean","lean4","mathematics"],"license":"Apache-2.0","category":"workflow-automation"},{"repo":"frenzymath/Danus","github":"https://github.com/frenzymath/Danus","description":"Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","language":"Python","stars":186,"topics":["agents","ai4math","automated-reasoning","claude-code","codex","llm","mathematics","multi-agent"],"license":"Apache-2.0","category":"ai-agents"}],"how_to_buy":"GET /r/frenzymath/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}