Arquimedes

io.github.richer-richard/arquimedes · v1.1.0

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

Website Source code Set it up

Connect Runs on your machine

Terminal

claude mcp add arquimedes -- uvx arquimedes-mcp==1.1.0

claude_desktop_config.json

{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp==1.1.0"
      ]
    }
  }
}

~/.cursor/mcp.json

{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp==1.1.0"
      ]
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "arquimedes": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "arquimedes-mcp==1.1.0"
      ]
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Package	`[email protected]` (PYPI, stdio)
First published	21 Oct 2026
Last updated	21 Oct 2026
Registry name	`io.github.richer-richard/arquimedes`

More search and web servers See all

Live status

Local install

Installed and run on your own machine, so there is no public endpoint to check.

Pair it with live search

Agents that use Arquimedes often also need current facts. NestDaddy MCP gives your AI today's internet: web search, real-time breaking news and full page reading in one connector.

See NestDaddy MCP

For maintainers

[![NestDaddy MCP](https://nestdaddy.com/mcp/servers/io-github-richer-richard-arquimedes/badge.svg)](https://nestdaddy.com/mcp/servers/io-github-richer-richard-arquimedes)

Add the badge to your README. It turns green while your server passes our daily check. Listing details come from the official MCP registry; update them there.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.