Last released Oct 21, 2026
Build any paper. Prove every claim. One CLI and MCP server that lets your coding agent turn a research paper into working code and prove, claim by claim, how close it gets.