ibrahimmian36

2 mods in 1 plugin, 1 repository, 7 stars between them.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

leanscreen

01

ibrahimmian36/leanscreen

Plugin 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