ibrahimmian36/leanscreen

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

6Stars on the repository
3Mods indexed here, across every type
15d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

Nothing here yet

This corner of the catalogue is empty. The crawl runs nightly, so it may not be for long.