LeanProbe vs proof

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

# Proof Code-validated pattern intelligence from pydantic-ai's actual source code. ## What It Does Proof extracts working patterns from real library code via analysis — not from documentation, blog posts, or human guesses. 391 patterns from pydantic-ai and pydantic, mapped to a kno

MCP Servers

MCP Servers

—

—

—

—

—

—

—

—

—

1

0

0