"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
Agent intake desk for property renovation. Read only, CORS open, fail closed, receipts recompute.
Independent pre-transaction audit for construction estimates. Free, and every verdict recomputes.
FR/EN tools for French rental, frontalier & home-employment (CCN 3239) — sourced, dated answers.
Free, keyless. CRE loan maturities in 52 states. Parcels, ownership, sales: Massachusetts only.
AI title risk analysis for Florida real estate closing docs. Get an API key at curagent.io
Ten source-bound government-record evidence tools plus four run helpers for property, healthcare integrity, regulated facilities, Norway company evidence, and cross-market routing. Public metadata discovery; caller-owned Apify token required for execution.
Zillow MCP for AI agents: property data, Zestimates & listings — 300+ fields per home. Free tier.
Host-owned vacation-rental direct booking via VRP. Signed offers, 0% commission. Not an OTA.
A Model Context Protocol server that provides Philippine License to Sell (LTS) verification data to LLMs. Built on Cloudflare Workers with Supabase. Public, read-only, no authentication required. Data sourced from the Department of Human Settlements and Urban Development (DHSUD) License to Sell registry and cross-referenced with published real estate projects on REN.PH.
Public EPK real estate listings and multilingual guides for Panama and the Dominican Republic.
Free joined public records for small business and CRE: Twin Cities parcels, sales, licences
Property listings in Portugal: search, market stats, comparables, neighbourhoods.
Czech distressed real estate — anonymized district aggregates (k≥5). Free tier.
Guest check-in, SES.HOSPEDAJES status, and booking creation for Spanish vacation rentals. No PII.
Zoning, parcel, and development feasibility for a street address in Canada and the US.
Seattle GC. Commercial TI, public works, remodels: WA permit rules, cost estimates, ROI.
Find French tradespeople, plan multi-trade projects, submit moderated contacts, create profiles.
Read-only server for jacobcampbellrealtor.com: licensee, service area, referrals, site search.
Check availability, get quotes, and submit booking requests for Lilla Älva, a cabin in Sweden.
Berlin real estate for AI agents: granular market data and property search, free, by GUTHMANN®.
