lean-explore
01Plugin Claude Code
Plugins for searching Lean 4 declarations with LeanExplore.
76 29d ago A
tokens not measured
Apache-2.0
lean-explore
02Plugin Claude Code
Search Lean 4 declarations through the hosted LeanExplore MCP server.
76 29d ago A
tokens not measured
Apache-2.0
Plugin Claude Code
Millennium Research tooling for formal mathematics.
6 12d ago A
tokens not measured
leanscreen
04Plugin Claude Code
Faithfulness screening for Lean 4 statements while you draft them. Screens only, never certifies.
6 12d ago A
tokens not measured