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