Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.
A simple library to keep track of your progress and history in competitive debating.
Multi-agent AI discussion CLI for structured debates between LLMs
Production-ready multi-agent debate framework with adaptive evaluation and safety monitoring
