io.github.sandraschi/leanforge-mcpsearch

leanforge-mcp

Verified · 10 days ago

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

Our take

This server connects MCP workflows to Lean 4 proof search, making it relevant for formal methods work and AI-assisted theorem proving. It is primarily for researchers, students, or engineers already comfortable with Lean rather than broad search use. The scope is narrow but legitimate, and the lack of visible adoption signals points to a niche, likely early-maintenance project.

reviewed by hand · 2026-09-01

Something wrong or dead here? Report it

Verification record

last verified
10 days ago
github stars
1
last commit
10 days ago
archived
no
license
MIT
in registry since
2026-08-28

github.com/sandraschi/leanforge-mcp

More in search

browse all →
mcp-server-searchsearch

mcp-server-search

Verified · 30 days ago

MCP server for web search operations

hand-reviewed39k starschecked 30 days ago

repomixsearch

Repomix

Verified · 21 days ago

Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search

hand-reviewed28k stars67k dl/wkchecked 21 days ago

screenpipe-mcpsearch

screenpipe

Verified · 22 days ago

Search your local screen recordings, audio transcripts, and computer activity from screenpipe.

hand-reviewed22k stars2.8k dl/wkchecked 22 days ago

sui-kapasearch

Sui Knowledge Base (kapa.ai)

Verified · 17 days ago

Semantic search across Sui documentation and knowledge sources, powered by kapa.ai

hand-reviewed7.8k starschecked 17 days ago

firecrawl-mcp-serversearch

Firecrawl MCP Server

Verified · 37 days ago

MCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.

hand-reviewed7.4k starschecked 37 days ago

robinsearch

Robin: AI-Powered Dark Web OSINT

Verified · 17 days ago

Dark web OSINT over Tor: search onion engines, scrape pages, report with your own model.

hand-reviewed7.3k starschecked 17 days ago