nickharris808

nickharris808/pqc-migration-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/crs-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/certified-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/minicheck-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/hw-verify-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/physics-lint-mcp

MCP server Claude CodeCodexCursor

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

nickharris808/formal-proof-mcp

MCP server Claude CodeCodexCursor +2

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