pyscn-mcp
01Plugin Claude Code
Bundles 4 skills · 213 tokens together
Python code quality analysis MCP server.
not rated 1.0k 6d ago A
tokens not measured
original MIT
Plugin Claude Code
Bundles 2 skills, 2 commands, 1 MCP server · 390 tokens together
Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.
not rated 2 yesterday A
tokens not measured
original Apache-2.0