umcp
01MCP server Claude CodeCodexCursor +2
Contract-first validation framework for reproducible computational workflows. Six kernel invariants, 23 scientific domains, 746 proven theorems, 20,337 tests, three-layer C/C++/Python architecture, three-valued verdicts. Runs locally from the umcp Python package.
not rated 0 4mo ago A
tokens not measured
original MIT