PostToolUse
01Hook
Runs after a tool call finishes for Edit and Write tool calls, executing run-audit.sh. From LLM4Rocq/mathcomp-skills.
5 28d ago A
tokens not measured
original Apache-2.0
5Stars on the repository
5Mods indexed here, across every type
28d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown