There was an error while loading. Please reload this page.
d4f2c20
Full Changelog: https://github.com/abr4xas/lean-mcp/commits/0.3.0