MCP servers for Codex CLI

Web form builder for the onOffice real estate CRM: forms, rules, PDFs and e-signatures.

Create, send, track and follow up on client proposals from Claude. Flat-price proposal software.

Québec lease notice deadlines (art. 1942 C.C.Q.), rent increase notices and guides for landlords.

US nonprofit data: search organisations and read their IRS filings.

Speech in 59 languages (OpenAI, Gemini voices) and AI video (Veo, Seedance, Wan) on your account.

Read a B2B commercial team's catalog and funnel stages on Prospectar.

Public-record buying signals and prospect research for US field sales reps.

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.