Loading MCP servers…
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
This server publishes no hosted endpoint. Run one of its packages locally.
https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb · mcpb · stdio
Visit https://brave.com/search/api/ for a free API key. Search the web, local businesses, images,…
Search and download academic papers from arXiv, PubMed, bioRxiv, medRxiv, Google Scholar, Semantic…
Search the web and extract clean, readable text from webpages. Process multiple URLs at once to sp…
Search PubMed/Europe PMC, fetch articles and full text (PMC/EPMC/Unpaywall), citations, MeSH terms.
Search and audit NIST NVD CVEs by keyword, severity, CWE, CISA KEV status, and CPE.
Access the OpenAlex academic research catalog — 270M+ publications.