ramsestein/u_mcp

Open on GitHub

0Stars on the repository

1Mods indexed here, across every type

2mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

umcp

ramsestein/u_mcp

MCP 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