MCP servers for Codex CLI

Log food, plan meals, fix the diary, build the grocery list and move macro targets in Prospre.

Proof-backed nutrition facts for foods, branded products and supplements: values, sources, labels.

Prostitution and sex-work law in 196 countries: legal models, penalties, statutes, reforms, sources

Plan, write, render and schedule short-form social videos, carousels and threads for your brand.

Read clockings, absences, assignments, contracts, people and departments in Protime.

Control plane for agent money: server-enforced limits and non-custodial execution.

Log meals, weight and workouts in Hearth and review your progress. Subscription required.

Write articles and quizzes into your private Lore knowledge inbox. Subscription required.

Browser CAD for AI: model parts, add joints, export STEP or STL, or robots as URDF, SDF and MJCF

Checks an ESP32 project (board, pins, power, JLCPCB parts, costs) and gets the build finished.

ProveCart helps agents make fewer mistakes before payment. Free practice exam & certification.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Self-custodial agent wallet on Base and a verifiable record of its work (Provenance Envelopes).

Find unflagged agent OAuth clients before the mandate lock — signed per-client census verdicts.

Croatian company data: registry, financials, licences, concessions, court notices, subsidies.

Residential proxies for AI agents: usage, proxy URLs by country, IP purity checks and cost quotes.

Query free proxies by country, protocol and anonymity. Read-only access; no account or API key.

Buy and manage ISP proxies: offers, orders, renewals, traffic, whitelists and wallet.

Residential proxy checkout prices, terms and sourcing checks, every fact dated and sourced.

Every PRTG API v2 endpoint, plus a fleet view across every client's PRTG core: alarms, status

Every email and calendar account you connect, for AI agents, with permissions and approvals.