Plugin Claude Code
Bundles 1 skill, 1 hook, 1 MCP server · 47 tokens together
Lean 4 proof-search plugin: session context for Claude Code.
not rated 3 4d ago A
tokens not measured
original MIT
3Stars on the repository
9Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown