150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/Mathhwi/MAGMA-MCP-SIMPLE
LOCAL

Magma MCP Server

Mathhwi/MAGMA-MCP-SIMPLE

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

↗Mathhwi/MAGMA-MCP-SIMPLEExternal link; availability not verifiedLocal-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (2mo)
0toolsLocal/ STDIO2moindexed
Checked Aug 1, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Aug 1, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
○
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
↗Mathhwi/MAGMA-MCP-SIMPLEExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
Similar servers
LeetCode MCP Server
A Model Context Protocol server that provides integration with LeetCode APIs, enabling automated interaction with programming problems, contests, solutions, and user data across both leetcode.com and leetcode.cn platforms.
PayPal MCP Server
A Python implementation that enables Large Language Models to interact with PayPal's APIs through function calling, supporting features like invoices, orders, products, subscriptions, and transactions.
Personal Assistant MCP Server
A unified interface for managing digital life through integrations with Google Calendar, Obsidian Vault, Trello, and web page parsing capabilities.
WineDbg MCP Server
A server that wraps the Wine Debugger (winedbg) and exposes its functionality through a simple API, allowing you to debug Windows applications running under Wine from a remote client.
MCP AI POC
Provides AI-powered development tools including code generation, refactoring, debugging, performance optimization, and test generation, along with smart prompts for code analysis and documentation, and a built-in knowledge base of coding best practices.
Figma MCP Server
A server implementation that enables interaction with Figma API through Model Context Protocol (MCP), supporting plugin and widget development with WebSocket communication capabilities.
Indexed from Glama · Updates nightly