pyscn
01MCP server Claude CodeCodexCursor +2
MCP (Model Context Protocol) server for pyscn Python code analyzer. Runs locally from the pyscn-mcp Python package. Needs 1 environment variable to run.
5 tagged dependency analysis, measured the same way as everything else here.
MCP server Claude CodeCodexCursor +2
MCP (Model Context Protocol) server for pyscn Python code analyzer. Runs locally from the pyscn-mcp Python package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor
Measure where a formal library spends its axioms: Lean 4 and Metamath. Runs locally from the gonzalgo Python package.
MCP server Claude CodeCodexCursor
MCP server "license-guard" as configured in rccaoki-wq/license-guard. Runs in Docker (ghcr.io/rccaoki-wq/license-guard:1.1.0).
MCP server Claude CodeCodexCursor +2
MCP server "tsugime" as configured in namakoo-dev/tsugime. Runs locally from the tsugime Python package.
tetracoralla/deterministic-dependency-engine
MCP server Claude CodeCodexCursor +2
MCP server "dependencyengine" as configured in tetracoralla/deterministic-dependency-engine. Runs ./dist/adapters/mcp.js with node.