leanback

v0.1.3PyPI· Python

MCP server for Lean 4 theorem proving — check, prove, goals, eval, search

The verdict

Maintained. Niche but maintained, actively maintained.

Live from the PyPI registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityNiche

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published 2 months ago.

Popularity

18 downloads / week

Security

No known advisories for this version (OSV).

License

Apache-2.0

Dependencies

2 direct dependencies

Recent releases