lean
01Skill Claude CodeCodex
Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".
not rated 95
+1 5mo ago C 32 tokens
original MIT
95Stars on the repository
6Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
release
02Skill Claude CodeCodex
Release pz with GitHub Actions. Bumps version in build.zig.zon, tags, pushes, and monitors CI. Use when user says "release", "bump version", "bump patch", "bump minor", "bump major", "cut a release", or "publish".
not rated 95
+1 5mo ago A 64 tokens
original MIT
sync-proofs
03Skill Claude CodeCodex
Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".
not rated 95
+1 5mo ago A 33 tokens
original MIT
tla
04Skill Claude CodeCodex
Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".
not rated 95
+1 5mo ago A 41 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: