The engine runs ~16 specialized Claude Code subagents across an 8-phase cycle: divergence, claim extraction, friction, evidence-quality audit, evidence-sufficiency gate, synthesis, meta-evolution, and formal construction. At its core is a SQLite-backed epistemic claim graph that tracks atomic claims through a confidence lifecycle (conjectured, supported, replicated, contested, refuted) with typed victory conditions: Lean proof, SymPy verification, or simulation fragility threshold. The engine has produced compiled, submission-ready research papers as real outputs.
Autonomous Research Engine
~16 specialized subagents
8 cycle phases
5 confidence states
01What it is
A self-improving, multi-agent LLM orchestration system that autonomously attacks open problems in mathematics and science, verifying claims formally and producing publication-ready research papers.
02Engineering
03 Architecture
Agent orchestration
~16 Claude Code subagents
8-phase cycle
DivergenceClaim extractionFrictionEvidence-quality auditSynthesis
Epistemic claim graph (SQLite)
Atomic claimsConfidence lifecycleEvidence-sufficiency gate
Typed victory conditions
Lean proofSymPy verificationSimulation fragility threshold
Output
Compiled submission-ready papers
04 Highlights
- Runs roughly 16 specialized Claude Code subagents across a single 8-phase research cycle
- A SQLite-backed epistemic claim graph tracks atomic claims through a confidence lifecycle (conjectured, supported, replicated, contested, refuted)
- Claims resolve via typed victory conditions: a Lean proof, a SymPy verification, or a simulation fragility threshold
- Has produced compiled, submission-ready research papers as real outputs
05Stack
PythonClaude CodeLaTeXaiosqliteSymPyZ3FastAPI
06Status
active (paused)