Zero-error LLM execution via SPRT voting. Rust library and MCP server implementing the MAKER algorithm for mathematically-grounded error correction in long-horizon AI agent tasks. Research experiment …