Skill Claude CodeCodex
Skill "mcp-z3-prover" from daedalus/mcp-z3-prover, covering mcp z3 prover, when to use this skill, tools and install.
not rated 1 4mo ago A 0 tokens
original MIT
1Stars on the repository
2Mods indexed here, across every type
4mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown