Arquimedes

io.github.richer-richard/arquimedes

About Arquimedes

Arquimedes is an MCP server published by the GitHub account richer-richard. Search and sample 1,038,963 competition and benchmark math problems.

It runs on your own machine: your AI client starts it from the PyPI package arquimedes-mcp at version 1.1.0.

It asks for no keys or passwords.

Version 1.1.0 was published on 21 October 2026, and the source code is public, so you can read it before installing.

Written from the registry entry. 9 automated checks on the registry entry and the package code: 7 pass, 0 warn, 0 fail, 2 info. How we check.

What it asks for

This server declares no environment variables, so it asks for no keys or settings.

Checks

CheckResultDetail
Source repository linkedPasshttps://github.com/richer-richard/arquimedes
Version pinnedPassEvery package has an explicit version
Secrets requestedInfoAsks for no secrets
Known package registryPassAll packages come from npm, PyPI, OCI, NuGet or MCPB
Namespace ownershipInfoName verified via GitHub account richer-richard
Registry text aimed at the AIPassDescription and settings contain no hidden characters or instructions to the AI
Install scriptsPassarquimedes-mcp 1.1.0 has no setup.py; nothing runs at install
Code red flagsPassRead 42 files in arquimedes-mcp 1.1.0: no obfuscation, encoded execution, credential reads or data-collection endpoints found
Text aimed at the AIPassNo hidden characters or instructions to the AI in 42 files, including comments and the README

Popularity & health: 58 / 100

Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.

Popularity7 / 40

1 GitHub stars, 25 downloads last week, no Hacker News posts found. Best two of the three, each on a log scale.

Activity23 / 25

Last push 2026-10-21, last release 2026-10-21, 31 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks20 / 20

0 warnings, each costing a fifth.

0 forks, 0 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.

What people say

No Hacker News threads link to its source code.

Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.

Facts

Registry nameio.github.richer-richard/arquimedes
PublisherGitHub account richer-richard
How the name is verifiedName verified via GitHub account richer-richard. The registry ties the name prefix to that account or domain; it does not check the code.
TypeLocal: runs on your machine from a package
Packagespypi arquimedes-mcp 1.1.0 (stdio)
Version1.1.0
Published
Last updated
Source repositoryhttps://github.com/richer-richard/arquimedes
Websitehttps://richer-richard.github.io/arquimedes/
CategorySearch & web (assigned by keyword rule, not by hand)

Related servers in Search & web