https://pypi.org/project/leanscreen/ Recent updates to the Python Package Index for leanscreen en https://pypi.org/project/leanscreen/0.1.1/ A calibrated faithfulness screen for informal↔Lean 4 statement pairs, on the command line and over MCP. Screens only, never certifies. ibrahimnmian@gmail.com Wed, 29 Jul 2026 01:08:31 GMT https://pypi.org/project/leanscreen/0.1.0/ A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. Screens only — never certifies. ibrahimnmian@gmail.com Tue, 28 Jul 2026 20:33:25 GMT