MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
Connect Runs on your machine
claude mcp add sagemath-mcp-server -e SAGE_TIMEOUT=<SAGE_TIMEOUT> -e SAGE_DOCKER_IMAGE=<SAGE_DOCKER_IMAGE> -e TRANSPORT=<TRANSPORT> -e PORT=<PORT> -e API_KEY=<API_KEY> -- npx -y @justice8096/[email protected]
{
"mcpServers": {
"sagemath-mcp-server": {
"command": "npx",
"args": [
"-y",
"@justice8096/[email protected]"
],
"env": {
"SAGE_TIMEOUT": "<SAGE_TIMEOUT>",
"SAGE_DOCKER_IMAGE": "<SAGE_DOCKER_IMAGE>",
"TRANSPORT": "<TRANSPORT>",
"PORT": "<PORT>",
"API_KEY": "<API_KEY>"
}
}
}
}
{
"mcpServers": {
"sagemath-mcp-server": {
"command": "npx",
"args": [
"-y",
"@justice8096/[email protected]"
],
"env": {
"SAGE_TIMEOUT": "<SAGE_TIMEOUT>",
"SAGE_DOCKER_IMAGE": "<SAGE_DOCKER_IMAGE>",
"TRANSPORT": "<TRANSPORT>",
"PORT": "<PORT>",
"API_KEY": "<API_KEY>"
}
}
}
}
{
"servers": {
"sagemath-mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@justice8096/[email protected]"
],
"env": {
"SAGE_TIMEOUT": "<SAGE_TIMEOUT>",
"SAGE_DOCKER_IMAGE": "<SAGE_DOCKER_IMAGE>",
"TRANSPORT": "<TRANSPORT>",
"PORT": "<PORT>",
"API_KEY": "<API_KEY>"
}
}
}
}
Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Environment variables
| Name | Description |
|---|---|
SAGE_TIMEOUTOptional | Per-call SageMath timeout in milliseconds. Default 30000. |
SAGE_DOCKER_IMAGEOptional | Docker image used when SageMath is not installed locally. Default sagemath/sagemath:latest. |
TRANSPORTOptional | Transport mode: 'stdio' (default) or 'http'. |
PORTOptional | HTTP port when TRANSPORT=http. Default 3000. |
API_KEYOptional, secret | If set, HTTP transport requires matching API_KEY header. Ignored for stdio. |
Details
| Package | @justice8096/[email protected] (NPM, stdio) |
| First published | 18 May 2026 |
| Last updated | 18 May 2026 |
| Registry name | io.github.justice8096/sagemath-mcp-server |
More other servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
