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
A model checker as an MCP server: let an AI agent verify a state machine instead of guessing.
MCP server Claude CodeCodexCursor +2
MCP server "minicheck-mcp" as configured in nickharris808/minicheck-mcp. Runs locally from the minicheck-mcp Python package.