io.github.richer-richard/arquimedessearch

Arquimedes

Verified · today

Search and sample 1,038,963 competition and benchmark math problems.

Install

claude mcp add arquimedes -- uvx arquimedes-mcp

Our take

Searches and samples a large collection of competition and benchmark mathematics problems. It is useful for researchers, educators, and evaluation-pipeline developers, though its minimal adoption signal means dataset provenance, licensing, and maintenance should be checked before production use.

reviewed by hand · 2026-10-22

Something wrong or dead here? Report it

Verification record

last verified: today
github stars: 1
last commit: today
archived: no
license: NOASSERTION
in registry since: 2026-10-21

github.com/richer-richard/arquimedes

More in search

mcp-server-searchsearch

mcp-server-search

Verified · 39 days ago

MCP server for web search operations

hand-reviewed39k starschecked 39 days ago

repomixsearch

Repomix

Verified · 30 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 30 days ago

screenpipe-mcpsearch

screenpipe

Verified · 31 days ago

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

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

sui-kapasearch

Sui Knowledge Base (kapa.ai)

Verified · 26 days ago

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

hand-reviewed7.8k starschecked 26 days ago

firecrawl-mcp-serversearch

Firecrawl MCP Server

Verified · today

Firecrawl, the context API for AI agents: search, scrape, interact with the web, plus paper search.

hand-reviewed7.7k starschecked today

Robin: AI-Powered Dark Web OSINT

Verified · 26 days ago

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

hand-reviewed7.3k starschecked 26 days ago