N/A
dududuguo/lean-local-search-mcp
MCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and proof probes
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/dududuguo/lean-local-search-mcp
- Framework mcp
- Sources github
- First Seen Jul 09, 2026
- Repository github.com/dududuguo/lean-local-search-mcp
Browse more:
Search all agents
Ecosystem Report