Plugin Claude Code
Bundles 1 skill, 1 command, 1 agent, 1 hook · 246 tokens together
math-comp / mathcomp-analysis Rocq style guide, validated cleanup patterns, a read-only review command, and a per-file style auditor subagent — rocq-mcp-aware.
not rated 5 25d ago A
tokens not measured
original Apache-2.0