Leanforge MCP Server

by sandraschi Your server? Claim it

local only

Leanforge MCP runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 31 Aug 2026.

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

—

Installs / week

not published

Stars

0 open issues

31 Aug 2026

Last commit

from GitHub

MIT

License

Python

Nothing serious here today

Today is the operative word: we check Leanforge MCP every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Alternatives to Leanforge MCP

same job, measured the same way

Decixa MCP

by koki-socialgist

Decixa MCP Server — intent-driven API discovery and selection for AI agents.

local only

Leclerc Drive

by skunkobi

MCP server for E.Leclerc Drive — search products, manage cart, and order groceries from Claude

162 installs/wk local only

MCP Console Automation

by ooples

MCP server for AI-driven console application automation and monitoring

60 installs/wk local only

Beckett - MCP for Godot

by beckettlab

MCP server embedded in the Godot 4 editor; drive Godot with AI, zero sidecar.

local only

Copilot Datagate

by afurlane

Policy-driven, read-only MCP server for safe database access from AI tools.

101 installs/wk local only

Rivemcp

by paradoxsyn

MCP server for creating and editing Rive (.riv) animation files. 139 tools for AI-driven animation.

1 078 installs/wk local only

NetLicensing MCP Server

by labs64

Labs64 NetLicensing MCP server for AI-driven software license lifecycle management.

333 installs/wk local only

Jupyter MCP Server

by chengjiale150

A powerful MCP server for AI-driven Jupyter Notebook management and execution

148 installs/wk local only

Leanforge MCP — questions

Answers built from our own checks of this server.

Why is there no uptime for Leanforge MCP?

Leanforge MCP runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone.

Is Leanforge MCP open source?

Yes — it is published under the MIT licence, written in Python and 0 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.