v0.3.0

Small updates, including bump to Lean 4.8.0

0.2.0

New features including model context protocol (MCP) server and support for coding assistants including Cursor and Claude Code

v0.1.0

This is our first versioned release.

See https://gasstationmanager.github.io/ai/2025/02/13/leantool.html for a progress report and road map going forward.