LeanProbe

7

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

GitHub
Category MCP Servers
Added Nov 3, 2026
Views 0

About

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

Is this your product? Claim this listing with an email at your domain to post updates.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/leanprobe.svg)](https://hifriendbot.com/ai-list/leanprobe/)
Listed on AiList

Compare

LeanProbe vs AXLE Lean Engine LeanProbe vs AI Sessions LeanProbe vs proof

Similar Projects

AXLE Lean Engine

2

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

CLI Tools Python

AI Sessions

22

Provides unified access to local AI assistant CLI session histories from Claude Code, Gemini CLI, and OpenAI Codex with tools for listing, browsing, searching, and retrieving session transcripts across different storage formats for finding past solutions and resuming interrupted coding sessions.

CLI Tools

proof

# 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

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project