leanscreen
01Plugin Claude Code
Bundles 1 skill, 1 MCP server · 0 tokens together
Faithfulness screening for Lean 4 statements while you draft them. Screens only, never certifies.
not rated 7 1mo ago A
tokens not measured
7Stars on the repository
3Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied