Plugin Claude Code
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.
5 27d ago A
tokens not measured
original Apache-2.0
5Stars on the repository
5Mods indexed here, across every type
27d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown