#

leaninteract

Here is 1 public repository matching this topic...

Lemmy00 / LeanProbe

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

python cli mcp theorem-proving proof-assistant lean mathlib lean4 coding-agents model-context-protocol mcp-server lean-prover leaninteract

Updated May 14, 2026
Python

Improve this page

Add a description, image, and links to the leaninteract topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leaninteract topic, visit your repo's landing page and select "manage topics."