Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.
theorem-proving proof-assistant multi-agent debate z3 sympy smt-solver formal-verification ai-safety automated-reasoning scientific-research knuckledragger paper-review research-evaluation llm claim-verification minif2f
-
Updated
Apr 21, 2026 - Python