"SymPy" matching MCP servers:

Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.

Provides AI agents with deterministic symbolic math capabilities through 21 tools for algebra, calculus, transforms, and DSP, preventing hallucinations by delegating computations to a SymPy engine.

A FastMCP server for mathematical computations, including numerical and symbolic calculations with NumPy and SymPy integration, as well as data visualization through Matplotlib.

Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.

Enables Codex to use an authenticated ChatGPT Web session as a reasoning and coding backend through isolated browser sessions, without granting ChatGPT direct workspace access.

Enables ChatGPT to submit tasks to a single explicitly bound local Codex workspace and conversation, then retrieve execution results, file contents, and diffs through MCP tools.