"A server to improve math capability of AI" matching MCP servers:

Enables agents to search a local catalog, load skills, inspect MCP tool schemas, and invoke selected tools through a single unified MCP tool, reducing per-request overhead.

Serves an AI coding agent a searchable index of a codebase's existing capabilities and past incidents, so it can find and reuse what already exists before writing new code. Also exposes blast-radius analysis for shared code and lets the agent reindex the knowledge base, all via local retrieval with no model calls or API keys.

Exposes hundreds of MCP tools through just four (browse, search, load schemas, and call), so models pay only for the tool definitions they need instead of every schema on every turn. Every call is validated and guarded, with unknown-argument rejection, placeholder detection, timeouts, an audit log, and error hints.

Captures user corrections and improvements during interactions, logs them, finds recurring patterns, and prescribes preventive fixes like CLAUDE.md rules, skills, scripts, or MCP tools to avoid repeating mistakes.

Provides LLMs with deterministic math tools for sandboxed expression evaluation, descriptive statistics, primality testing, prime factorization, GCD/LCM, quadratic solving, and base conversion. Every operation runs real code rather than relying on the model's arithmetic, with expression parsing restricted to a whitelist of operators, constants, and functions.

A Python-based MCP server providing mathematical computation tools and plotting utilities for a wide range of math topics including calculus, matrix operations, statistics, and more.

Provides MCP tools to search a cached index of installed agent skills, MCP tools, and plugins, inspect exact results, and activate skills for supported agents.

Adds vision capabilities to text-only coding models via MCP, enabling image analysis, OCR, and visual reasoning without switching the main model.

Enables existing agents to access browser automation, Office document generation and conversion, terminal and code execution, charts, knowledge retrieval, media, computer control, maps, data, and integration tools through one MCP server with local runtime setup.

AI-powered expense tracking MCP server that connects LLM clients to PostgreSQL for natural language expense management.

A Model Context Protocol server that exposes 8 mathematical tools (arithmetic, algebra, calculus, matrix operations, statistics, probability, unit conversions) to any MCP-compatible AI agent, enabling mathematical computations without code.

MCP server enabling Claude Code to capture screenshots of Windows applications through WSL2, allowing AI to diagnose UI errors and verify layouts.

A Model Context Protocol server that provides basic mathematical and statistical functions to LLMs, enabling them to perform accurate numerical calculations through a simple API.

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.

An MCP gateway and offline catalog CLI that aggregates multiple upstream MCP servers into a single stdio endpoint, and provides tool recommendation and catalog inspection without connecting to upstreams.

Enables rigorous, auditable mathematical proving with machine-checked steps, honestly distinguishing proven, refuted, and inconclusive results while disclosing unverified gaps.

Enables safe, AI-driven CATIA V5 modeling through 36 guarded tools for creating and inspecting parametric CATParts, including sketch, part design, GSD/surface, and transaction operations, while preventing mutation of existing documents.

An MCP server that enables Claude to discover and delegate tasks to local Codex Skills and plugins, bridging Claude's natural language understanding with Codex's execution capabilities.

Converts LaTeX math expressions to SVG. Enables AI assistants to render mathematical formulas as scalable vector graphics.

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.