1. Conduid
  2. Documentation
  3. Lean Mathlib Docs MCP
MCP server · Documentation

Lean Mathlib Docs MCP

· github.com/CriticalLine/lean-mathlib-docs-mcp

A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python

Unclaimed leanlean4mcpmcp-clientmcp-serverpython
InstallView source
34Low

Scored a month ago · breakdown

About Lean Mathlib Docs MCP

Lean Mathlib Docs MCP is an MCP server in the Documentation category: a minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python.

Install

From source
git clone https://github.com/CriticalLine/lean-mathlib-docs-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.

Ask AI

✦

Ask AI about Lean Mathlib Docs MCP

Powered by Claude · Grounded in docs

I know everything about Lean Mathlib Docs MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Lean Mathlib Docs MCP

How do I install Lean Mathlib Docs MCP?

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

Is Lean Mathlib Docs 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 Lean Mathlib Docs MCP still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.