agentmods.dev

ibrahimmian36/leanscreen

A calibrated faithfulness screen for informal↔Lean 4 pairs, on the command line and over MCP. Screens only, never certifies.

Open on GitHub
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
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

leanscreen

01

ibrahimmian36/leanscreen

MCP server Claude CodeCodexCursor +2

A calibrated faithfulness screen for informal↔Lean 4 statement pairs, on the command line and over MCP. Screens only, never certifies. Runs locally from the leanscreen Python package.

6 13d ago A tokens not measured