"author:evgwpw" matching MCP servers:

Enables MCP clients to run computer-algebra operations such as integration, limits, series, solving, simplification, and Gröbner bases, with verifiable certificates, conditions, and step-by-step results. It also supports declared assumptions and sandboxed file loading.