1. Conduid
  2. Search
  3. io.github.sandraschi/leanforge-mcp
MCP server · Search

io.github.sandraschi/leanforge-mcp

by · github.com/sandraschi/leanforge-mcp

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

Unclaimed search
InstallView source
34Low

Scored a month ago · breakdown

About io.github.sandraschi/leanforge-mcp

io.github.sandraschi/leanforge-mcp is an MCP server published by sandraschi in the Search category: mCP server for AI-driven formal proof search in Lean 4.

The repository has 3 stars and 0 forks, with the last commit 2 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/sandraschi/leanforge-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (8)

cancel_jobCancel a running job

Parameters not published.

get_mathlib_searchNatural language search over Mathlib theorems

Parameters not published.

get_proof_statusPoll job status; returns proof when complete

Parameters not published.

list_attemptsInspect the attempt trajectory per agent/turn

Parameters not published.

list_jobsList all jobs with status summary

Parameters not published.

submit_lean_fileSubmit a full `.lean` file with sorry placeholders

Parameters not published.

submit_theoremSubmit a theorem statement → job ID (async)

Parameters not published.

validate_leanRaw Lean 4 compile -- no job tracking

Parameters not published.

Ask AI

✦

Ask AI about io.github.sandraschi/leanforge-mcp

Powered by Claude · Grounded in docs

I know everything about io.github.sandraschi/leanforge-mcp. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About io.github.sandraschi/leanforge-mcp

How do I install io.github.sandraschi/leanforge-mcp?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is io.github.sandraschi/leanforge-mcp safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is io.github.sandraschi/leanforge-mcp still maintained?

Yes — the last commit was 2 days ago. The repository has 3 stars and 0 forks.