"author:ibrahimmian36" matching MCP servers:

• leanscreen

  ibrahimmian36

  F

  license

  A

  quality

  C

  maintenance

  A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.

  Last updated 2026-07-28

  2