The real catalog of tools for AI agents

Evaluate, simplify, and differentiate mathematical expressions.

Ask your AI assistant for a printable K-12 math worksheet pack and get the PDF on your computer.

Evaluate mathematical expressions and propagate measurement uncertainty.

54 robust financial calculators based on deterministic mathematical principles.

Executable mathematics and independent verification for AI agents.

MCP server that exposes SymPy's symbolic mathematics functionality

BioModels — the public repository of curated, executable mathematical models of biological systems…

MCP server exposing manimgl mathematical animation functionality as tools for LLMs

Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography

Create interactive 2D and 3D graphs with validated equations, shareable links, and PNG previews.

Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.

Finance research agent for thesis, trade note, and market-state review.

Step-by-step solver for linear/quadratic equations in one variable, signs and ± always right.

Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.

WKT geometry token, value discarded

Deterministic calendars and cosmic date JSON for AI agents via MCP (Gregorian 1900-2100).

Homebrew formulae.brew.sh MCP.

GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra

Deterministic CR80 pixel-geometry scaler. Callers supply the card and object pixel geometry; this MC

Draw and edit plane-geometry figures live on GeoGebra Calculator, with checks and screenshots.