010 GitHub stars
02Adversarial debate protocol with specialized consistency, counterexample, constraint, and evidence reviewers.
03Multi-model orchestration across Claude, OpenAI, Gemini, Kimi, and OpenRouter.
04Reliability-Weighted Aggregation (RWEA) for deterministic, domain-aware answer selection.
05Formal verification integration via the Aristotle Lean 4 theorem prover.
06Flexible model profiles ranging from 'max_quality' to 'budget' (zero-Claude) modes.