# Magma MCP Server

> Magma MCP Server — mathhwi-magma-mcp-simple. Use this tool when you need to automate mathematical computations or generate Magma code based on concepts from the Magma Handbook. The Magma MCP Server solves problems related to mathematical modeling and computation by retrieving relevant concepts and generating executable code. It takes conceptual inputs and produces Magma code outputs, ideal for use cases requiring rapid mathematical prototyping or exploration.

Canonical page: https://skillsregistry.net/skills/mathhwi-magma-mcp-simple  
JSON: https://api.skillsregistry.net/v1/skills/mathhwi-magma-mcp-simple

## Description

A server for the Magma mathematical computing system that uses RAG to retrieve concepts from the Magma Handbook and generate Magma code.

## Trust

- **Trust score (0–1):** 0.69
- **Verification tier:** scanned
- **Last scanned:** 2026-08-30

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-08-30

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/p3xilk0zsh)
- **Repository:** <https://github.com/Mathhwi/MAGMA-MCP-SIMPLE>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "mathhwi-magma-mcp-simple"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/mathhwi-magma-mcp-simple` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/mathhwi-magma-mcp-simple/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt