LeGenAI/mcp-magma-handbook
3.1
If you are the rightful owner of mcp-magma-handbook and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
The MCP MAGMA Handbook Server is an intelligent server that provides AI assistants with access to the MAGMA computational algebra system handbook through advanced vector search and semantic understanding.
Tools
Functions exposed to the LLM to take actions
search_magma
Search for specific topics in the MAGMA handbook.
get_magma_example
Get code examples for mathematical topics.
explain_magma_code
Get explanations for MAGMA code.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client