150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/sandraschi/leanforge-mcp
✓ REGISTRY VERIFIEDLOCAL

io.github.sandraschi/leanforge-mcp

sandraschi/leanforge-mcp

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

↗sandraschi/leanforge-mcpExternal link; availability not verified
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (20d)
0toolsLocal/ STDIO20dindexed
Checked Sep 1, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Sep 1, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
✓
Registry presence
Verified
Listed on the Official MCP Registry under Linux Foundation governance.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
✓ Listed on the Official MCP Registry under Linux Foundation governance.
Published version: 0.1.0
↗sandraschi/leanforge-mcpExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
More from sandraschi
onenote-mcp
MCP server that enables AI assistants to interact with Microsoft OneNote, allowing listing, reading, searching, and creating notes.
pdf-mcp
Full-stack PDF intelligence MCP server for extracting, manipulating, annotating, converting, validating, and RAG-searching PDFs through a unified tool surface and React workbench.
bluesky-mcp
Enables interacting with Bluesky/AT Protocol through MCP tools for posting, replying, media, timelines, and a human-approved outbox system.
civitai-mcp
Enables searching, cataloging, and downloading Civitai models (checkpoints, LoRAs) into a ComfyUI-compatible models depot, with human-approved download outbox and a web dashboard.
Dreame D20 Pro Plus MCP Server
Enables control and monitoring of a Dreame robot vacuum via MCP tools, including cleaning, status, and map viewing through the cloud API.
sketchboard-excalidraw-mcp
An MCP server for Excalidraw diagram creation and headless rendering, enabling interactive canvas editing and automated SVG/PNG export via Playwright.
Similar servers
Press Release
press-release MCP — wraps StupidAPIs (requires X-API-Key)
MCP Server for LimeSurvey
Enables interaction with LimeSurvey API to create and manage surveys, questions, question groups, activate surveys, and export responses through standardized MCP endpoints.
io.github.zenml-io/mcp-zenml
MCP server for ZenML - browse stacks, pipelines, runs, artifacts & trigger pipeline runs via API
Linear
Linear MCP — wraps the Linear GraphQL API (OAuth)
HAPI MCP Server
HAPI MCP server: Dynamically exposes OpenAPI REST APIs as MCP tools for AI assistants
Google Docs MCP Server
Enables Claude to read, create, and update Google Docs through OAuth authentication. Deployed as a remote Next.js server on Vercel with support for multiple users and secure API key management.
Indexed from Official MCP Registry · Updates nightly