Laura's Trip
Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@Laura's TripBook Laura's trip to Lisbon next Friday and confirm the itinerary."
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
Laura's Trip — HAPI Capability Graph demo
In this contract-driven MCP trip-booking demo, Jev/TypeSafe helps when the user's intent is clear but the wording is ambiguous.
This project is a local, (greenfield) synthetic demonstration of a
contract-driven trip story about Laura's trip. Contract-driven interactions
are modeled using HAPI Capability Graphs. Requires HAPI v1.2.0, private
beta access, and a valid TYPESAFE_API_KEY.
Request access to the private beta binaries and
obtain a valid TYPESAFE_API_KEY before proceeding.
Contact the HAPI Guy for any questions or support.
What is a HAPI Capability Graph?
A HAPI Capability Graph is a structured representation of the capabilities, contracts, and interactions within a system. It allows for declarative modeling of what actions are possible, under what conditions, and how different components of the system can interact to achieve specific goals. In this demo, it is used to model the contract-driven interactions for Laura's trip.
What is in this project?
Pure contract-driven interactions for Laura's trip are modeled using HAPI Capability Graphs. This project demonstrates how to define capabilities, contracts, and interactions in a declarative manner, and how to execute and verify them locally.
export YOUR_PROJECTS_DIR=/path/to/your/projects
cd $YOUR_PROJECTS_DIR/hapi-trip-demo
bun run generate:facade
HAPI_HOME=$PWD hapi openapi init lauras-trip
bun test
bun run serveDo you have a valid TYPESAFE_API_KEY set in your environment?
export TYPESAFE_API_KEY=your_api_key_here
bun run serve:jevIn another terminal, run bun run serve:workflows to expose Arazzo workflow
tools on port 3101. The backend on port 3100 is a real local HAPI controller;
neither command uses --url nor --headless.
Read the runbook to understand the workflow for Laura's trip
demo. The important conceptual boundary is deliberate: capability_context
describes declared vocabulary; capability_plan consumes verified facts and
does not call an API. In decision authority, a client invokes the next allowed
tool and re-plans.
This server cannot be deployed
Maintenance
Related MCP Connectors
Machine-native capabilities with explicit contracts and machine-readable commerce.
Workflow diagnostics, capability routing, and x402 settlement for MCP-compatible agents.
Procure governed AI capabilities: machine-readable price, scope, trust, gateway-delegation terms.
OracleNet Deal Discovery Protocol — permissioned commercial matching for MCP/A2A agents.
Related MCP Servers
- AlicenseAqualityDmaintenanceEnables AI agents to discover and interact with business capabilities by reading structured nod.json manifests from domains, supporting actions like ordering, booking, and searching.2MIT
- -licenseNot gradedqualityBmaintenanceEnables AI agents to discover and invoke expert booking tools via a Streamable HTTP MCP server, supporting slot search, holds, payments, and human-in-the-loop confirmations with strict validation and time-based contracts.-
- AlicenseNot gradedqualityBmaintenanceEnables interactive trip planning and booking through MCP Apps cards, with constraint-based scoring, cross-session memory, and a two-phase booking flow that requires explicit confirmation before charging.MIT

GateCoreofficial
AlicenseNot gradedqualityDmaintenanceEnables AI agents to discover governed capabilities, inspect machine-readable contracts, and request policy-checked procurements with signed receipts and audit trails.Apache 2.0