paper-review
A reproducible audit harness for mathematical LaTeX papers: deterministic scanner, schema-validated issue ledgers with mechanical quote verification, and a stage-gated final gate — driven by any MCP agent or the CLI.
Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.
