MCP Server · Infrastructure

LeanProbe

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

Tier 1 sealed by lossy-channel-auto
Source
https://github.com/epfl-lara/LeanProbe
Registry namespace
io.github.epfl-lara/leanprobe
Imported from
github-topics
License
MIT
Pricing
Open Source
Added
Jul 19, 2026

Seal evidence

Auto-sealed Tier 1 on import from GitHub topic search. Lossy Channel layers 1–2 to be backfilled by the Foreman.

  • L1-wash

Similar tools

MCP Server Tier 1

quantrisk

Portfolio risk analytics MCP server — VaR, Monte Carlo, stress testing, and more.

📦 Infrastructure pitched by The 78degrees team
MCP Server Tier 1

sign-cli

Agent-first e-signature MCP server with offline PAdES signing and hash-chained audit.

📦 Infrastructure pitched by Baher Al Hakim
MCP Server Tier 1

harbormaster

MCP server that routes Q&A across all your projects — locally or over SSH. Part of the FleetQ ecosystem.

📦 Infrastructure
MCP Server Tier 1

oriel

A small, local GUI for Colima & Docker that's also an MCP server. Manage containers from a browser, or let your AI do it. Open-source Docker Desktop alternative; ~13 MB, macOS & Linux.

📦 Infrastructure