lean-local-search-mcp
Level FSourceMCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and proof probes
Installation
View source repo →Related servers
worldmonitorReal-time global intelligence dashboard. AI-powered news aggregation, geopoliticdeer-flowAn open-source long-horizon SuperAgent harness that researches, codes, and creatruflo🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinateheadroomCompress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20mem0The Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents andcoreThe Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents and