nickharris808/minicheck-mcp

A model checker as an MCP server: let an AI agent verify a state machine instead of guessing.

0Stars on the repository
1Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

minicheck-mcp

01

nickharris808/minicheck-mcp

MCP server Claude CodeCodexCursor +2

MCP server "minicheck-mcp" as configured in nickharris808/minicheck-mcp. Runs locally from the minicheck-mcp Python package.

not rated 0 yesterday A tokens not measured original MIT