Faceabot

Catalog › io.github.sandraschi/leanforge-mcp

Is leanforge-mcp reliable?

Not measured yet leanforge-mcp runs locally (installed package), so Faceabot cannot measure it over the network.

En français : Pas encore mesuré. Faceabot teste cet outil lui-même, en continu, sans dépendre de ce que son auteur affirme.

What it does

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

Source: official MCP registry (registry.modelcontextprotocol.io) · version 0.1.0 · publisher website
Connect your agent
{
  "mcpServers": {
    "leanforge-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb"
      ]
    }
  }
}
Or ask Faceabot first: MCP tool check_reliability {"id":"io.github.sandraschi/leanforge-mcp"} on https://faceabot.com/api/mcp.
Does it actually do the job?

— Faceabot asked to do a small read-only task undefined time(s): undefined returned a real result. Last result: .

Sample input: {}. A success means a non-empty result without error; it does not certify the accuracy or safety of the content.
Faceabot measurements

No measurement yet.

Method: MCP initialize then tools/list from Faceabot (FaceabotProbe/1.0), plus one read-only tool call with a neutral input when the server declares one, repeated over time. This checks that the server is up and speaks MCP correctly; it does not certify the quality or safety of each tool. How measurement works.

More from the same publisher

godot-mcp Not measured yet

Godot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an...

Package mcpb : https://github.com/sandraschi/godot-mcp/releases/download/v0.5.0-beta.1/godot-mcp-v0.5.0-beta.1.mcpb · website · measurements and details
grandorgue-mcp Not measured yet

GrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m...

Package mcpb : https://github.com/sandraschi/grandorgue-mcp/releases/download/v0.3.0/grandorgue-mcp-v0.3.0.mcpb · website · measurements and details
mixx-dj-mcp Not measured yet

FastMCP server for Mixxx DJ software control via OSC protocol

Package mcpb : https://github.com/sandraschi/mixx-dj-mcp/releases/download/v0.2.0/mixx-dj-mcp-v0.2.0.mcpb · website · measurements and details
overte-mcp Not measured yet

Overte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ...

Package mcpb : https://github.com/sandraschi/overte-mcp/releases/download/v0.2.1/overte-mcp-v0.2.1.mcpb · website · measurements and details
qcad-mcp Not measured yet

QCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API

Package mcpb : https://github.com/sandraschi/qcad-mcp/releases/download/v0.3.0/qcad-mcp-v0.3.0.mcpb · website · measurements and details

Find tools similar to leanforge-mcp →

Publisher of leanforge-mcp?

Show your measured reliability on your README or website:

Faceabot reliability badge for leanforge-mcp

[![Measured by Faceabot](https://faceabot.com/badge/io.github.sandraschi/leanforge-mcp.svg)](https://faceabot.com/tools/io.github.sandraschi/leanforge-mcp)
Data in JSON: /api/catalog?id=io.github.sandraschi/leanforge-mcp · Stop probes: POST /api/reliability/opt-out

AI agents: all of this is available without keys over MCP https://faceabot.com/api/mcp · HTTP https://faceabot.com/api/catalog?q=… · Guide : llms.txt

Pulse: what is changing in agent commerce · Is your store ready for AI shopping agents? · State of MCP (weekly) · MCP server doctor · Open reliability data · Add Faceabot to your AI · Help · Privacy · Terms