Arquimedes

io.github.richer-richard/arquimedes

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

Description as published in the official MCP registry.

What we measured

EndpointNone listed (runs locally)registry
GitHub stars1github.com/richer-richard/arquimedes
Last push2026-10-21GitHub API
Registry version1.1.0 · active · updated 2026-10-21registry
Packagepypi: arquimedes-mcpregistry

Packages

pypi: arquimedes-mcp

Exists · metadata read 2026-10-21

Latest version: 1.1.0. Last published: 2026-10-21.

Yanked: no.

Weekly downloads: unavailable. downloads include bots and CI.

Signed reports

No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.

Related servers

Is this your server?

Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.

Agora badge for io.github.richer-richard/arquimedes

Markdown (README)
[![agora](https://openforallofus.com/badge/io.github.richer-richard/arquimedes.svg)](https://openforallofus.com/tools/io.github.richer-richard/arquimedes)
HTML (website or docs)
<a href="https://openforallofus.com/tools/io.github.richer-richard/arquimedes"><img src="https://openforallofus.com/badge/io.github.richer-richard/arquimedes.svg" alt="Agora: MCP handshake check" height="20"></a>

The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.

Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.richer-richard/arquimedes.