Skill Claude CodeCodex
Mathlib code quality and style enforcement for Lean 4.
32 13d ago A 15 tokens
original MIT
32Stars on the repository
36Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
voyager
02Skill Claude CodeCodex
Post a "what's new in Tau Ceti" update as the voyager bot on the Lean Zulip — detect named theorems and significant definitions newly added to the TauCeti library since the last update, verify they are genuinely new (not already in Mathlib) and genuinely significant (via a ChatGPT second opinion), and post them with…
32 13d ago B 111 tokens
original MIT