published by correctover
3 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.
- io.github.Correctover/correctover-mcp-server
Real-time LLM output verification with 6-dim contract validation and auto-failover across providers. - io.github.Correctover/ccs
Runtime verification MCP server: fail-closed checks for agent tool calls, signed evidence receipts. - io.github.Correctover/mcp
Compatibility MCP server package that forwards to the correctover-mcp-gateway runtime.