The real catalog of tools for AI agents

Run physics simulations and read their results, from the Arxyne free CLI.

Supported Balatro scoring and exact small-deck play/discard analysis with verified explanations.

Premium agentic endpoint for cloth-physics-solver-mcp.

Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

LLM-native optimization solver: LP, MIP, portfolio & scheduling via HiGHS/OR-Tools.

Math Solver Ai MCP Server by MEOK AI Labs

Deterministic engineering solvers: biquad filter design, room eigenmodes, LLM VRAM fit.

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

Newton MCP — wraps the Newton math solver API (free, no auth)

Excel-verified lease finance math for AI agents: equipment, solvers, schedules.

FinOps for Google Cloud: size 1- and 3-year CUD commitments to known demand. Also solves LP/MIP.

Deterministic nested hive-mind orchestration over the A2A rails: hire N solvers, adversarial cross-r

Route optimization API for Brazil. Routes, distance matrices, and VRP solver.

MCP server exposing Z3 solver API

GTO poker solver data: NLHE/PLO preflop ranges, postflop strategy, EV. 6-max NL preflop free.

Builds optimal 24/7 staff rosters with a real MILP solver: rest rules, skills, nights, fairness.

Field operations on a deterministic solver — run jobs, crews & fleet from Claude or ChatGPT.

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

MCP server: solver auction across io.net / Akash / Render with signed receipts · Hive Civilization

Takuzu/Binairo puzzle generator and solver. Generate puzzles, validate solutions.