lean-mathlib-docs-mcp

源码

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

⭐ 3搜索与信息Python仓库 ↗更新于 2026-09-18收录于 2026-10-04

安装配置

查看源码仓库 →

相关服务器

worldmonitor⭐ 87.8k · 搜索与信息mcp-for-beginners⭐ 17.4k · 搜索与信息Auto-claude-code-research-in-sleep⭐ 17k · 搜索与信息QuantDinger⭐ 12.4k · 搜索与信息hexstrike-ai⭐ 12.3k · 搜索与信息DesktopCommanderMCP⭐ 9.9k · 搜索与信息