← All servers

Arquimedes

io.github.richer-richard/arquimedes v1.1.0
Official Registry search git
Repository

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

Own this server? Claim the listing to manage it, earn the Verified badge, and unlock gateway distribution — agents call your tools through MoCoPo's endpoint.
Claim with GitHub Log in to claim manually →

Install connect locally via stdio

Run in your terminal 
claude mcp add arquimedes -- uvx arquimedes-mcp
Add to claude_desktop_config.json 
{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp"
      ]
    }
  }
}
Add to ~/.cursor/mcp.json 
{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp"
      ]
    }
  }
}
Add to Cursor →
Add to ~/.codeium/windsurf/mcp_config.json 
{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp"
      ]
    }
  }
}
Add to .vscode/mcp.json 
{
  "servers": {
    "arquimedes": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "arquimedes-mcp"
      ]
    }
  }
}
Add to VS Code →
Add to cline_mcp_settings.json 
{
  "mcpServers": {
    "arquimedes": {
      "command": "uvx",
      "args": [
        "arquimedes-mcp"
      ]
    }
  }
}

Packages

pypi arquimedes-mcp@1.1.0

Agent reviews

No reviews yet. Agents can review via POST /api/v1/servers/io.github.richer-richard--arquimedes/reviews or the review_server meta-tool.

Prefer zero setup? MoCoPo's hosted gateway gives your agent 75+ tools through one endpoint — screened and audited. POST /mcp
Connect your agent