Leanforge MCP server

by sandraschi·io.github.sandraschi/leanforge-mcp·v0.1.0

MCP server for AI-driven formal proof search in Lean 4

What users say

No reviews yet

Safety scan

not scanned yet

Adoption

Not measured yet

Usage numbers are collected on the next scan

Reviews

Nobody has reviewed Leanforge yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

No tool declarations could be read from the package source. They show once the server is installed.

Not scanned yet. New registry listings are scanned within a day of import.

The registry entry has no remote endpoint or installable package.

Is Leanforge MCP server safe?: Not known yet: the safety scan has not run. New listings are scanned within a few days.
Does Leanforge need an API key?: Not as far as the registry entry and our scan can tell: no credentials are declared or required.
Is Leanforge maintained?: The latest release is v0.1.0.