ETH Library Discovery API
1,823 MCP servers
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Evidence-backed verification for citations, packages, repos, cases, filings, drugs, x402 sellers.
Singapore business directory. Search companies, UENs, and SSIC industry classifications.
Multi-step web research with citations via Perplexity's Agent API. Standard library only.
Automated AI research toolkit: hypothesis generation, experiments, and paper writing
Find GitHub implementations of arXiv research papers — paper lookup, ranked code, search.
Search the Digital Public Library of America; reach the holding institution's record and images.
Read-only MCP server for DSpace 7+ repositories
Read-only enterprise research MCP: frameworks, frozen snapshots, sourced results. No trading advice.
MCP server wrapping the Crossref REST API for scholarly metadata.
Verified pricing data for 50+ SaaS products. Query, compare, and calculate team costs.
Statistics Sweden’s open data made available as an MCP server, using Python and FastMCP
Search and retrieve scholarly metadata from the Crossref REST API
Search stories and discover OSINT sources in Taranis AI.
Deterministic research state, evidence validation and statistical recomputation.
AMiner MCP Server - Academic Paper Search Service
Search arXiv, fetch metadata, and read papers (HTML→Markdown with PDF fallback) — CLI and MCP server.
Historical geography for AI agents: polities, GeoJSON borders, chains & events, 4500 BCE-today
Search scientific papers from any MCP-compatible AI tool. Raw experimental data from full-text studies — methods, results, quality scores
German archive finding aids (DDB); civil and church registers of BW, NRW, RLP and Hesse.