MCP servers for Zed

Broker opinions of value, comparables and underwriting for commercial real estate.

Looks up a person's voter ID and polling place at the Electoral Court (TSE) from the name, CPF, or voter number.

TL-Verilog MCP: 20 real tools to read, check, lint, scaffold, build and run TL-Verilog code.

TLA MCP: 20 real tools to read, check, lint, scaffold, build and run TLA code.

TLA+ MCP: 20 real tools to read, check, lint, scaffold, build and run TLA+ code.

Official Mexican data for AI agents: CURP, RFC, CFDI, postal codes, phone, SPEI/CEP, DOF, geocoding.

TM44 Quote: the site's own MCP server — enquiry (enquiry = a human handoff, not a purchase);...

Family appliance repair in TN + LA: diagnose a problem, check a ZIP, book a repair.

Self-hosted shared memory and docs for Claude Code, Codex and Antigravity agents, with a graph UI

Toit MCP: 20 real tools to read, check, lint, scaffold, build and run Toit code.

Free unit & live currency conversion tools from toolalize.com (convert_units, convert_currency).

Track packages across 1,300+ global carriers with real-time status and AI-powered delivery dates.

Free US VIN decoding and research; VIN-optional market appraisals via a separate pilot endpoint.

Manage clients, plans, sessions, habits, and billing on Trainzilla via one-click OAuth.

Tranco: daily popularity rank for any domain from the Tranco research list - keyless.

Discover transfers, private drivers, and Fiji rentals with non-persisted quote previews.

Agent-native travel platform: read-only flight, hotel, and brand tools over MCP. OAuth sign-in.

Field-verified China travel facts for foreign visitors: booking walls, hotel registration, transit.

Fly Trazo, a browser game over the real Nazca lines, turn by turn, and post to its AI board.

Analyse activities, build training plans and sync structured workouts to your sports watch.

Free public real estate listing exchange. Search, retrieve, and submit inquiries on listings.