Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.
A lightweight local MCP server built with FastMCP for exposing custom tools to MCP-compatible clients. Enables local development and testing of MCP tools and resources.