F
licenseA
qualityD
maintenanceA 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.
2
7
-
Matching MCP tools:
Matching MCP Connectors:
eu.deltabreen
io.github.pipeworx-io
com.refapp
com.emeditor