MCP servers for Zed

Homes for sale in São Paulo: 330+ agencies deduplicated, price vs. comparables, real ITBI sales.

Read Propertyware properties, leases and work orders; add maintenance tasks and comments.

Search authorized real estate listings in Mexico and manage favorites and publishing with OAuth.

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.

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.

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.