Plugin Claude Code
Millennium Research tooling for formal mathematics.
6 13d ago A
tokens not measured
6Stars on the repository
4Mods indexed here, across every type
13d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
leanscreen
02Plugin Claude Code
Faithfulness screening for Lean 4 statements while you draft them. Screens only, never certifies.
6 13d ago A
tokens not measured