UNPKG

@receiz/mcp-server

Version:

MCP server for agents building and verifying Receiz proof-native applications through the canonical Receiz SDK rails.

147 lines • 9.23 kB
type JsonObject = Record<string, unknown>; type ToolName = (typeof RECEIZ_V124_MCP_TOOL_NAMES)[number]; export declare const RECEIZ_V124_MCP_TOOL_NAMES: readonly ["receiz_v124_kai_now", "receiz_v124_proof_authority_challenge_create", "receiz_v124_execution_plan_atomic_operation", "receiz_v124_execution_stage", "receiz_v124_execution_stage_prepared", "receiz_v124_execution_execute", "receiz_v124_execution_resolve", "receiz_v124_execution_resolve_by_idempotency", "receiz_v124_execution_cancel", "receiz_v124_runtime_authority_session_open", "receiz_v124_runtime_authority_session_refresh", "receiz_v124_runtime_authority_session_close", "receiz_v124_runtime_qualify", "receiz_v124_domain_verified_additions", "receiz_v124_domain_verified_replay", "receiz_v124_domain_verified_checkpoint", "receiz_v124_domain_verified_private_additions", "receiz_v124_domain_replay_proof_object_export", "receiz_v124_domain_replay_proof_object_restore", "receiz_source_carried_replay_open", "receiz_conversation_source_family_open", "receiz_conversation_epoch_grants_plan", "receiz_material_source_parts_open", "receiz_v124_subject_namespaces_resolve", "receiz_v124_identity_public_recipient_resolve", "receiz_v124_source_publish_sealed"]; /** * Fixed route scopes only. Authority-session tools additionally preserve the * exact challenge/grant scopes, and source publication selects exactly one * listed scope from the sealed source kind. A scope is never identity authority. */ export declare const RECEIZ_V124_MCP_REQUIRED_SCOPES: Readonly<Record<ToolName, readonly string[]>>; export declare const RECEIZ_V124_MCP_SCOPE_REQUIREMENTS: Readonly<{ receiz_v124_execution_execute: Readonly<{ mode: "active-session-and-route"; sessionGrant: "exact-stored-granted-scopes"; requiredGrantedRail: "settlement-or-reserve-when-operation-category-requires-it"; bearerRequired: true; }>; receiz_v124_execution_cancel: Readonly<{ mode: "active-session-and-route"; sessionGrant: "exact-stored-granted-scopes"; requiredGrantedRail: "settlement-or-reserve-when-operation-category-requires-it"; bearerRequired: true; }>; receiz_v124_runtime_authority_session_open: Readonly<{ mode: "challenge-and-rails"; challengeScopes: "exact-signed-challenge-scopes"; railScopePattern: "receiz:<requested-rail>.write"; bearerRequired: true; }>; receiz_v124_runtime_authority_session_refresh: Readonly<{ mode: "challenge-and-rails"; challengeScopes: "exact-signed-challenge-scopes"; railScopePattern: "receiz:<requested-rail>.write"; bearerRequired: true; }>; receiz_v124_runtime_authority_session_close: Readonly<{ mode: "stored-session-grant"; bearerRequired: true; }>; receiz_v124_runtime_qualify: Readonly<{ mode: "application-bound-bearer"; bearerRequired: true; }>; receiz_v124_domain_verified_private_additions: Readonly<{ mode: "active-session-and-route"; sessionGrant: "exact-stored-granted-scopes"; bearerRequired: true; }>; receiz_v124_identity_public_recipient_resolve: Readonly<{ mode: "active-session-and-route"; sessionGrant: "exact-stored-granted-scopes"; bearerRequired: true; }>; receiz_v124_source_publish_sealed: Readonly<{ mode: "source-kind"; variants: Readonly<{ subject: readonly string[]; "replay-segment": readonly string[]; checkpoint: readonly string[]; }>; sessionBySourceKind: Readonly<{ subject: "not-required"; "replay-segment": "active-session-with-exact-stored-grant"; checkpoint: "active-session-with-exact-stored-grant"; }>; bearerRequired: true; }>; }>; export declare const RECEIZ_V124_MCP_TOOLS: { name: "receiz_conversation_epoch_grants_plan" | "receiz_conversation_source_family_open" | "receiz_material_source_parts_open" | "receiz_source_carried_replay_open" | "receiz_v124_domain_replay_proof_object_export" | "receiz_v124_domain_replay_proof_object_restore" | "receiz_v124_domain_verified_additions" | "receiz_v124_domain_verified_checkpoint" | "receiz_v124_domain_verified_private_additions" | "receiz_v124_domain_verified_replay" | "receiz_v124_execution_cancel" | "receiz_v124_execution_execute" | "receiz_v124_execution_plan_atomic_operation" | "receiz_v124_execution_resolve" | "receiz_v124_execution_resolve_by_idempotency" | "receiz_v124_execution_stage" | "receiz_v124_execution_stage_prepared" | "receiz_v124_identity_public_recipient_resolve" | "receiz_v124_kai_now" | "receiz_v124_proof_authority_challenge_create" | "receiz_v124_runtime_authority_session_close" | "receiz_v124_runtime_authority_session_open" | "receiz_v124_runtime_authority_session_refresh" | "receiz_v124_runtime_qualify" | "receiz_v124_source_publish_sealed" | "receiz_v124_subject_namespaces_resolve"; description: string; inputSchema: JsonObject; outputSchema: { type: string; additionalProperties: boolean; }; }[]; export type ReceizMcpV124Client = Readonly<{ execution: Readonly<{ planAtomicOperationV124(input: unknown): Promise<unknown>; stage(input: unknown): Promise<unknown>; stagePrepared(plan: unknown, transitionSet: unknown): Promise<unknown>; execute(handle: unknown, authoritySession: unknown): Promise<unknown>; resolve(input: unknown): Promise<unknown>; resolveByIdempotencyKey(input: unknown): Promise<unknown>; cancel(handle: unknown, authoritySession: unknown): Promise<unknown>; exportCommittedRecovery?(outcome: unknown): unknown; }>; runtime: Readonly<{ openAuthoritySessionV124(input: unknown): Promise<unknown>; refreshAuthoritySessionV124(input: unknown): Promise<unknown>; closeAuthoritySessionV124(input: unknown): Promise<unknown>; qualifyV124(input: unknown): Promise<unknown>; }>; domains: Readonly<{ verifiedAdditionsV124(input: unknown): Promise<unknown>; verifiedReplayV124(input: unknown): Promise<unknown>; verifiedCheckpointV124(input: unknown): Promise<unknown>; verifiedPrivateAdditionsV124(input: unknown): Promise<unknown>; exportVerifiedReplayProofObjectV124(input: unknown): Promise<unknown>; restoreVerifiedReplayProofObjectV124(input: unknown): Promise<unknown>; }>; subjects: Readonly<{ resolveNamespacesV124(input: unknown): Promise<unknown>; }>; identity: Readonly<{ resolvePublicRecipientV124(input: unknown): Promise<unknown>; }>; sources: Readonly<{ publishSealedSourceV124(input: unknown): Promise<unknown>; }>; }>; export type ReceizMcpV124CallOptions = Readonly<{ applicationId?: string; requirePinnedApplicationId?: boolean; requireReferenceMaterials?: boolean; resolveMaterial?: (input: ReceizMcpV124MaterialResolution) => unknown | Promise<unknown>; persistMaterial?: (input: ReceizMcpV124MaterialPersistence) => string | Promise<string>; }>; export declare const RECEIZ_V124_MCP_MATERIAL_KINDS: readonly ["operation-plan", "identity-artifact", "subject-source-artifact", "signed-challenge", "portable-transition-set", "sealed-source-artifact", "sealed-replay-proof-object", "persisted-authority-session", "private-additions", "conversation-epoch-secret", "conversation-recipient-set", "material-source-family", "verified-portable-transition-set", "prepared-portable-transition-commit-set", "committed-artifact-transitions", "portable-transition-recovery"]; export type ReceizMcpV124MaterialKind = (typeof RECEIZ_V124_MCP_MATERIAL_KINDS)[number]; export type ReceizMcpV124MaterialResolution = Readonly<{ reference: string; kind: ReceizMcpV124MaterialKind; applicationId: string; }>; export type ReceizMcpV124MaterialPersistence = Readonly<{ kind: ReceizMcpV124MaterialKind; applicationId: string; value: unknown; }>; /** Exact private-material fingerprint for later MCP custody composition. Not proof admission. */ export declare function digestReceizV124McpMaterial(value: unknown): Promise<string>; export declare function admitReceizV124McpMaterial(client: ReceizMcpV124Client, input: Readonly<{ kind: ReceizMcpV124MaterialKind; applicationId: string; value: unknown; }>): string; export declare function readReceizV124McpMaterial(client: ReceizMcpV124Client, input: Readonly<{ reference: string; kind: ReceizMcpV124MaterialKind; applicationId: string; }>): unknown; export declare function resolveReceizV124McpMaterial(client: ReceizMcpV124Client, options: ReceizMcpV124CallOptions, reference: unknown, kind: ReceizMcpV124MaterialKind): Promise<unknown>; export declare function persistReceizV124McpMaterial(client: ReceizMcpV124Client, options: ReceizMcpV124CallOptions, kind: ReceizMcpV124MaterialKind, value: unknown): Promise<string>; export declare function callReceizV124McpOperation(client: ReceizMcpV124Client, name: string, args: JsonObject, options?: ReceizMcpV124CallOptions): Promise<unknown>; export {}; //# sourceMappingURL=v124Operations.d.ts.map