UNPKG

@receiz/mcp-server

Version:

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

36 lines • 2.07 kB
import { type ReceizV127SubjectRuntimeAdapter, type ReceizV127SubjectRuntimeSource } from "@receiz/sdk"; type JsonObject = Record<string, unknown>; type Runtime = ReceizV127SubjectRuntimeAdapter; export declare const RECEIZ_V127_SUBJECT_TOOL_NAMES: readonly ["receiz_subject_local_runtime_status", "receiz_subject_local_admit", "receiz_subject_local_snapshot_import", "receiz_subject_local_snapshot_export", "receiz_subject_additions", "receiz_subject_verify", "receiz_subject_memory_project", "receiz_subject_memory_citations", "receiz_subject_memory_compact", "receiz_subject_mandate_explain", "receiz_subject_runtime_catch_up", "receiz_subject_relationships_history", "receiz_subject_relationships_propose", "receiz_subject_relationships_respond", "receiz_subject_inventory_use", "receiz_subject_trades_preview", "receiz_subject_trades_execute", "receiz_subject_twin_memory_summary", "receiz_subject_subscribe", "receiz_world_subscribe", "receiz_subject_twin_stream", "receiz_subject_twin_stream_performance", "receiz_subject_twin_mind_import_commit"]; export declare const RECEIZ_V127_SUBJECT_TOOLS: { name: string; description: string; inputSchema: JsonObject; annotations: { readOnlyHint: boolean; destructiveHint: boolean; openWorldHint: boolean; }; }[]; export declare const RECEIZ_V127_SUBJECT_OPERATION_MAP: Readonly<{ [k: string]: { name: string; description: string; inputSchema: JsonObject; annotations: { readOnlyHint: boolean; destructiveHint: boolean; openWorldHint: boolean; }; }; }>; export declare function createReceizV127SubjectOperations(input: { runtime?: Runtime; resolveSource?: (sourcePath: string) => Promise<ReceizV127SubjectRuntimeSource>; resolveSourceReference?: (reference: string) => Promise<ReceizV127SubjectRuntimeSource>; }): Readonly<{ handles(name: string): boolean; call(name: string, raw?: unknown): Promise<unknown>; }>; export {}; //# sourceMappingURL=v127SubjectOperations.d.ts.map