"XState" matching MCP servers:

Connects to Korea's MOLIT real estate API to provide 14+ tools for live transaction data and financial scenarios like buy now, buy later, or invest only based on income and savings.

Real Estate Listing - MCP server providing AI-powered tools and automation by MEOK AI Labs

Enables AI assistants to access Washington State Legislature data for bill tracking, committee meetings, legislator lookup, and legislative document retrieval via conversational interfaces.

An MCP-native state sidecar that externalises workflow state for distributed agent deployments.

Provides US real estate data including housing stats, demographics, nearby amenities, area comparisons, cost-of-living analysis, and neighborhood search via free public APIs without any API keys.

Enables Claude to pull live Korean property transaction, rent, and subscription data — apartments, officetels, villas, single/multi-households, and commercial buildings — from the MOLIT public data API, and to model buy-now, buy-later, or invest-only scenarios against a user's income, savings, and retirement goals. It also supports region code lookups so queries can be scoped to specific districts.

Provides state and log management tools designed for long-lived AI agents that may be interrupted and resumed. It enables tracking agent progress and maintaining an append-only event history to ensure continuity across multiple sessions.

Enables AI assistants to maintain continuity across sessions by tracking named work lanes, structured handoffs, artifacts, and reusable routines so work can pick up where it left off.

MCP server for querying the San Diego Municipal Code, bulletins, permits, parcels, and zoning data with citations and freshness guarantees.

Enables simulation of multi-qubit quantum circuits using complex state vectors, including unitary gates, entanglement, Born-rule measurement sampling, state fidelity, and probability distributions via MCP.

Enables MCP-compatible agents to arbitrate typed state-action schemas, dispatch routine actions deterministically, and apply pre-escalation filters that reduce unnecessary frontier LLM calls. It supports low-latency, schema-enforced routing with safety guardrails and local-first memory retention.

A stateless MCP server for AI film and video production that tracks project state, shot status, and updates, enabling consistent characters and continuity across generative video tools.

Enables AI agents to construct SHA-256 Merkle trees and generate/verify inclusion proofs, validate JWT HMAC-SHA256 claims, run Schnorr zero-knowledge identification, and enforce constant-time secret comparison with nonce replay protection for tamper-evident state attestation. It runs as a zero-dependency, stdlib-only MCP stdio server for clients such as Claude Desktop, Cursor, and Windsurf.

Enables persistent storage and retrieval of Tree of Thought search states in PostgreSQL, allowing the travel agent to maintain reasoning context across multi-turn itinerary optimization.

Enables AI agents to persist and restore checkpoint state, supporting crash recovery and replay for LangGraph-based workflows.

Enables agents to construct SHA-256 Merkle trees, generate and verify state inclusion proofs, validate JWT HMAC signatures, perform Schnorr zero-knowledge proofs, and enforce nonce replay protection for immutable state attestation.

MCP server for querying Israeli government real estate data, enabling property deal searches, market trend analysis, and address retrieval.

Enables read-only querying of live brokerage state across Alpaca and Kraken, including account balances, positions, order history, and combined exposure summaries.

Enables multi-agent systems to share and coordinate a common state space over MCP, detecting concurrent mutation race conditions, synchronizing state through vector clocks, and resolving conflicting decisions via consensus arbitration. Also supports deterministic policy validation and cryptographic state hashing with zero external dependencies.

Analyzes real estate locations using Kakao Local API, providing insights on education, transportation, convenience, nature, and future value.

Enables agents to access local physiological context—Libre glucose, heart-rate, and watch history—with provenance and freshness metadata, so they can recognize when a user seems unusually off.

Enables AI agents to commit stateful workflow checkpoints by calculating state hashes and rollback points through the Model Context Protocol. It provides deterministic, dependency-free checkpoint management for autonomous agent execution.

Enables users to simulate multi-qubit quantum circuits through an MCP interface, including unitary gates, entanglement, Born-rule measurement sampling, fidelity/probability calculations, and Grover amplitude amplification. Integrates with Claude Desktop, Cursor, and Windsurf via JSON-RPC stdio.

Enables structured real estate workflows including property search, agent/client management, market intelligence, mortgage calculations, valuation, investment analysis, and document ingestion, with offline-first capabilities and optional live data integrations.

MCP server for analyzing building sustainability metrics via Excel, PDF, and frameworks like ESG, LEED, BREEAM, DGNB with IFC integration.

A comprehensive Model Context Protocol server for real estate data management that provides tools and resources for property listings, agent management, market analysis, client relationships, and area intelligence.

Live real estate market data for 895 US metros. Ask your AI assistant about home prices, rental yields, investment health scores, migration trends, and affordability. Free tier covers top 50 markets (no account needed). Premium tier unlocks all 895 markets, HUD Fair Market Rents, side-by-side market comparison, and filtered market search.

Enables AI agents to arbitrate typed state-action schemas and dispatch deterministic actions locally, so routine or reflexive decisions are resolved in sub-millisecond fashion instead of incurring expensive frontier-LLM calls. It also applies token-saving pre-escalation filters, escalating only ambiguous or multi-hop plans to larger models while enforcing reversible execution checkpoints, strict token budgets, and local-first memory retention.

Enables natural language queries to retrieve Korean real estate transaction data (land, commercial, apartments) from the public API, returning structured tables and summary statistics.

Enables AI agents to search for German property listings (rent/buy) on immowelt.de with structured JSON output, no API key required.

Enables AI agents to capture and commit stateful workflow checkpoints during autonomous execution, computing deterministic state hashes and rollback points. It runs as a zero-dependency Python MCP server that plugs into Claude Desktop, Cursor, and other MCP-compliant clients for reliable, low-latency checkpoint management.

Enables a locally hosted AI, running entirely inside the client's building with no outside network access, to reach line-of-business systems, document stores and email through a small set of narrow, task-specific and schema-validated tools. It applies least-privilege per-tool credentials, personal-data masking, output leak checks and tamper-evident audit logging, keeping actions read-only by default and gating any write behind human approval so untrusted document content cannot trigger privileged operations.

Enables querying Taiwan real-estate actual-price transaction data through MCP tools, including transaction search, market statistics, area listing, and data status, using a local SQLite database.

An MCP server that connects to a SQLite database of Zillow real estate data, enabling users to explore property values, rent indexes, and forecasts through a chat interface to make informed investment decisions.

Enables pulling property listings, prices, and details from real-estate websites as structured JSON, with anti-bot handling and protected-page support.

This MCP server enables interaction with the Punjab State Board of Technical Education and Industrial Training API, allowing access to technical education services and information through natural language.

An MCP server for interacting with the Tripura State Board of Secondary Education API, auto-generated using AG2's MCP builder to enable conversational access to education data.