A structured math database containing 1,038,963 structured math problems with answers, solutions, and LaTeX statements, stored as gzipped JSONL shards.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add arquimedes -- uvx arquimedes-mcp~/.codex/config.toml
[mcp_servers.arquimedes]
command = "uvx"
args = ["arquimedes-mcp"]
# codex mcp add arquimedes -- uvx arquimedes-mcp~/.cursor/mcp.json
{
"mcpServers": {
"arquimedes": {
"command": "uvx",
"args": [
"arquimedes-mcp"
]
}
}
}.vscode/mcp.json
{
"servers": {
"arquimedes": {
"type": "stdio",
"command": "uvx",
"args": [
"arquimedes-mcp"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"arquimedes": {
"command": "uvx",
"args": [
"arquimedes-mcp"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"arquimedes": {
"command": "uvx",
"args": [
"arquimedes-mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"arquimedes": {
"command": "uvx",
"args": [
"arquimedes-mcp"
]
}
}
}