Deterministic no-float Math Court MCP clients for agent builders. Bind affine.earth. Integers sealed. Floats refused. Server is not in this git.
mcp verification formal-verification deterministic-math langchain llamaindex llm-tools arc-agi model-context-protocol bfcl mcp-server gaia-benchmark swe-bench terminal-bench deterministic-ai no-float zero-float affine-earth math-court mcp-atlas
-
Updated
Nov 10, 2026 - Swift