$ loading_
A server for the Magma mathematical computing system that uses RAG to retrieve concepts from the Magma Handbook and generate Magma code.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Magma MCP Server" yet — see the docs or source repo.