LeanProbe vs AI Sessions

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

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.

MCP Servers

CLI Tools

7

—

—

—

—

—

—

—

—

1

0