@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
TypeScript
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