Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per client, an AST policy in front of it, and a hardened container as the real boundary.
接入配置
选择客户端，复制配置，再按项目文档补齐环境变量。
claude mcp add sagemath -- uvx sagemath-mcp~/.codex/config.toml
[mcp_servers.sagemath]
command = "uvx"
args = ["sagemath-mcp"]
# codex mcp add sagemath -- uvx sagemath-mcp~/.cursor/mcp.json
{
"mcpServers": {
"sagemath": {
"command": "uvx",
"args": [
"sagemath-mcp"
]
}
}
}.vscode/mcp.json
{
"servers": {
"sagemath": {
"type": "stdio",
"command": "uvx",
"args": [
"sagemath-mcp"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"sagemath": {
"command": "uvx",
"args": [
"sagemath-mcp"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"sagemath": {
"command": "uvx",
"args": [
"sagemath-mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"sagemath": {
"command": "uvx",
"args": [
"sagemath-mcp"
]
}
}
}