Arquimedes MCP server

by richer-richard·io.github.richer-richard/arquimedes·v1.1.0·1 stars

No reviews yet

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

A92/100grade A

Write a review Install

What users say

No reviews yet

Be the first

Safety scan

A92/100

full report

Adoption

Growing

1 stars157 downloads/wk

Reviews

Write one

Nobody has reviewed Arquimedes yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

Arquimedes tools

No tool declarations could be read from the package source. They show once the server is installed.

Public scan report

scanner v0.1.10 · 2026-10-26 · same rubric, same numbers if you re-run it

no findings

Code scan31 source files scanned25/25
–Live reliabilityno gateway calls yet and no remote to proben/a
–Tool poisoningtools not inspected (local package is not executed); not countedn/a
Auth qualitylocal package, no credentials required12/15
Maintenancelast push 5 days ago15/15
Maintainer identityregistry namespace matches repository owner; GitHub account older than a year8/10

Overall 92/100. Components that don't apply are left out of the denominator. Any critical finding is an F.Rubric Appeal a finding JSON

How Arquimedes compares

Against every graded Web search MCP server, from our own scans and uptime checks. Updated after each scan run.

Safety score: 92/100; higher than 90% of 3,470 Web search servers
GitHub stars: 1; more than 55% of 1,786 Web search servers
Downloads a week: 157; more than 67% of 827 Web search servers with a package

Install Arquimedes in Claude Code, Cursor or VS Code

claude mcp add arquimedes -- uvx arquimedes-mcp

Add to Cursor

What the publisher says

From the Arquimedes repository's README, as published. We do not edit it. Read it on GitHub

Arquimedes: Math Problem Database

A structured, deduplicated database of competition and benchmark mathematics: 1,038,963 problems across 9 datasets, each with a normalized LaTeX statement, calibrated Mohs difficulty (1.0 to 10.0), answer metadata, and solutions in a uniform JSON schema (v2).

1,038,963 problems with full statements and 99.98% domain categorization
797,671 written solutions: proof-sketch (797,631), strategy (22), answer-only (18)
277,002 model-reasoning traces (deepmath dataset, JSONL shards)
1,219 diagram images (SVG and JPG), content-addressed by hash
Unified Mohs difficulty (1.0–10.0) populated across all 1,038,963 records
Fast CLI & MCP Server: installable via uv (arquimedes CLI and arquimedes-mcp server)
Decontaminated Train/Eval Splits: one-command export (972,458 decontaminated train / 10,533 canonical eval)
Interactive Web Explorer: minimalistic browser catalog in site/ ready for GitHub Pages

Datasets

Category Distribution

Per-dataset category breakdowns and field notes: docs/datasets.md.

Competition Coverage

The source.collection field labels records that come from a named competition or benchmark:

Shortened. The full README is on GitHub.

Nothing above is checked by us. What we check is on the safety report.

Arquimedes: common questions

Is Arquimedes MCP server safe?: Yes, by our scan: it is graded A (92/100). Read the Arquimedes safety report
How do I install Arquimedes?: It runs on your machine. Copy the Claude Code, Cursor, VS Code or Claude Desktop config from the install section.
Does Arquimedes need an API key?: Not as far as the registry entry and our scan can tell: no credentials are declared or required.
Is Arquimedes maintained?: The last commit was 14 days ago (2026-10-21). The latest release is v1.1.0.
How does Arquimedes compare with other Web search MCP servers?: safety score 92/100 (higher than 90% of 3,470 Web search servers); github stars 1 (more than 55% of 1,786 Web search servers); downloads a week 157 (more than 67% of 827 Web search servers with a package). Full comparison.