Type Reference

Browse all MCP-I types from @kya-os/contracts. View field definitions, TypeScript interfaces, and example values.

Showing 13 of 13 types

Handshake & Sessions

Types for establishing authenticated connections between agents and servers

Proofs & Signatures

Types for cryptographic proofs that make tool calls tamper-evident

Delegation & CRISP

Types for delegated authorization with fine-grained constraints

Verification

Types for proof verification and agent context propagation

Proof Explorer

See ProofMeta and DetachedProof in action

Handshake Flow

Visualize HandshakeRequest and SessionContext

Delegation Builder

Build DelegationConstraints interactively

Error Decoder

Debug StructuredError codes

Using the Contracts Package

Installation

npm install @kya-os/contracts

Importing Types

// Main exports
import { ProofMeta, DetachedProof, SessionContext } from "@kya-os/contracts";

// Subpath imports for specific modules
import { DelegationConstraints, CrispScope } from "@kya-os/contracts/delegation";
import { AgentContext, VerifierResult } from "@kya-os/contracts";

Zod Schemas

// All types have corresponding Zod schemas for runtime validation
import { ProofMetaSchema, DetachedProofSchema } from "@kya-os/contracts";

// Validate at runtime
const result = ProofMetaSchema.safeParse(data);
if (result.success) {
  // result.data is typed as ProofMeta
}