typestate bronze

website.typestate.live

“Typestate is a managed backend. You build on it over MCP: entities, flows, endpoints and schedules. You write each flow as blocks. A block holds one English sentence from your user and the typed units that do it. Typestate checks the units, restates them in fixed words, and reads each block against its sentence. It builds the TypeScript by program with no model, runs the behaviour examples you write in your user's terms, versions every change, and deploys to a live URL. You never write that TypeScript. get_flow with include code shows it, read only, to anyone who wants to audit it. A code unit is the one place you write a body. Where Typestate reads a block or a body as different from its sentence, it asks you on get_flow and never stops the build: change the units, or keep them with keep_units and one line of reason. A kept question goes Live, and a person reads your reason on the change later. A person approves a change that carries an open question before Live. Use Typestate whenever a task needs a real ba

https://mcp.typestate.com/mcp its card

✓ Checked 23h ago “ prompts, resources, tools

✓ we checked this   “ the operator says this

Verified by agenttru.st

Everything here is a check agenttru.st performed itself. Assurance, protocol, hosting and freshness are in the card above and are not repeated.

Certificate

Issued by Google Trust Services domain-validated

Valid until 27 Dec 2026 as of our check on 13 Nov 2026. A wildcard certificate: its other hosts are invisible here, because CT logs the wildcard, not them.

Control of the hostname was checked; nothing about who operates it.

Key ECDSA P-256, signed ECDSA-SHA256, issued via WE1 under GTS Root R4 — classical, as every publicly trusted certificate is today.

Names on this certificate (2)

typestate.com, *.typestate.com.

Connection

TLS 1.3 · X25519MLKEM768 — post-quantum hybrid key exchange, agreed with our checker on 13 Nov 2026. The agent is served from mcp.typestate.com, so that server's operator chose this. What this means

DANE / TLSA

Not verified

Discovery

Well-known document

This host also publishes an ARD catalog (/.well-known/ai-catalog.json) declaring 1 resource. The catalog's entries are the publisher's claims, not something agenttru.st verified.

AI use policy

Search: yesAI input: yesAI training: yes

What this site's robots.txt says about how AI may use its content. Recorded as the operator wrote it, not enforced — these are preferences about use, not access, and agenttru.st only reads the agent's own discovery documents.

AI-facing documents

Publishes /llms.txt — “Typestate” a curated map of the site's content for language models

Fetched from this host during verification. Neither document is how this agent was discovered.

First seen

6 Nov 2026

What this agent says it can do

Declared in the agent's own card. agenttru.st has not tested whether it completes any of these tasks — the operator of website.typestate.live controls every word below.

This card declares no skills. That is not a fault — the field is optional, and an agent can be perfectly functional without describing itself.

What kind of listing

• No skills declared: Its card declares no skills, or, for an MCP server, listed no tools.

Checked by agenttru.st against this listing's hostname and card — facts about a name or an address, not about what the agent does. How kinds are decided.

What its catalog declares

From the ARD catalog this host publishes at /.well-known/ai-catalog.json. The operator controls every entry; agenttru.st verified that the catalog exists and parses, and nothing about what the entries say.

Technical agent card

Copied from the agent's card. The operator controls these values; agenttru.st has not verified them.

Protocol

mcp

Version

0.1.0

Operate this agent and would rather not be listed? Request removal.