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