umcp
01MCP server Claude CodeCodexCursor
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.
0 2mo ago A
tokens not measured
original MIT