smart-thinking-mcp

import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js'; import { z } from 'zod'; import { SmartThinkingEnvironment } from './environment'; interface SmartThinkingServerOptions { includeSmartThinkingTool?: boolean; } export declare const SmartThinkingParamsSchema: z.ZodObject<{ thought: z.ZodString; thoughtType: z.ZodDefault<z.ZodEnum<["regular", "revision", "meta", "hypothesis", "conclusion"]>>; connections: z.ZodDefault<z.ZodArray<z.ZodObject<{ targetId: z.ZodString; type: z.ZodEnum<["supports", "contradicts", "refines", "branches", "derives", "associates", "exemplifies", "generalizes", "compares", "contrasts", "questions", "extends", "analyzes", "synthesizes", "applies", "evaluates", "cites", "extended-by", "analyzed-by", "component-of", "applied-by", "evaluated-by", "cited-by"]>; strength: z.ZodNumber; description: z.ZodOptional<z.ZodString>; attributes: z.ZodOptional<z.ZodObject<{ temporality: z.ZodOptional<z.ZodEnum<["before", "after", "during", "concurrent"]>>; certainty: z.ZodOptional<z.ZodEnum<["definite", "high", "moderate", "low", "speculative"]>>; directionality: z.ZodOptional<z.ZodEnum<["unidirectional", "bidirectional", "multidirectional"]>>; scope: z.ZodOptional<z.ZodEnum<["broad", "specific", "partial", "complete"]>>; nature: z.ZodOptional<z.ZodEnum<["causal", "correlational", "sequential", "hierarchical", "associative"]>>; customAttributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>; }, "strip", z.ZodTypeAny, { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; }, { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; }>>; inferred: z.ZodOptional<z.ZodBoolean>; inferenceConfidence: z.ZodOptional<z.ZodNumber>; bidirectional: z.ZodOptional<z.ZodBoolean>; }, "strip", z.ZodTypeAny, { type: "supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by"; targetId: string; strength: number; bidirectional?: boolean | undefined; description?: string | undefined; attributes?: { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; } | undefined; inferred?: boolean | undefined; inferenceConfidence?: number | undefined; }, { type: "supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by"; targetId: string; strength: number; bidirectional?: boolean | undefined; description?: string | undefined; attributes?: { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; } | undefined; inferred?: boolean | undefined; inferenceConfidence?: number | undefined; }>, "many">>; requestSuggestions: z.ZodDefault<z.ZodBoolean>; generateVisualization: z.ZodDefault<z.ZodBoolean>; visualizationType: z.ZodDefault<z.ZodEnum<["graph", "chronological", "thematic", "hierarchical", "force", "radial"]>>; suggestTools: z.ZodDefault<z.ZodBoolean>; sessionId: z.ZodOptional<z.ZodString>; userId: z.ZodOptional<z.ZodString>; help: z.ZodDefault<z.ZodBoolean>; requestVerification: z.ZodDefault<z.ZodBoolean>; containsCalculations: z.ZodDefault<z.ZodBoolean>; visualizationOptions: z.ZodOptional<z.ZodObject<{ clusterBy: z.ZodOptional<z.ZodEnum<["type", "theme", "metric", "connectivity"]>>; direction: z.ZodDefault<z.ZodOptional<z.ZodEnum<["LR", "RL", "TB", "BT"]>>>; centerNode: z.ZodOptional<z.ZodString>; maxDepth: z.ZodOptional<z.ZodNumber>; filters: z.ZodOptional<z.ZodObject<{ nodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["regular", "revision", "meta", "hypothesis", "conclusion"]>, "many">>; connectionTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["supports", "contradicts", "refines", "branches", "derives", "associates", "exemplifies", "generalizes", "compares", "contrasts", "questions", "extends", "analyzes", "synthesizes", "applies", "evaluates", "cites", "extended-by", "analyzed-by", "component-of", "applied-by", "evaluated-by", "cited-by"]>, "many">>; metricThresholds: z.ZodOptional<z.ZodObject<{ confidence: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>; relevance: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>; quality: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>; }, "strip", z.ZodTypeAny, { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; }, { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; }>>; textSearch: z.ZodOptional<z.ZodString>; dateRange: z.ZodOptional<z.ZodTuple<[z.ZodDate, z.ZodDate], null>>; customFilters: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>; }, "strip", z.ZodTypeAny, { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; }, { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; }>>; interactivity: z.ZodOptional<z.ZodObject<{ zoomable: z.ZodOptional<z.ZodBoolean>; draggable: z.ZodOptional<z.ZodBoolean>; selectable: z.ZodOptional<z.ZodBoolean>; tooltips: z.ZodOptional<z.ZodBoolean>; expandableNodes: z.ZodOptional<z.ZodBoolean>; initialZoom: z.ZodOptional<z.ZodNumber>; zoomRange: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>; highlightOnHover: z.ZodOptional<z.ZodBoolean>; }, "strip", z.ZodTypeAny, { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; }, { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; }>>; }, "strip", z.ZodTypeAny, { direction: "LR" | "RL" | "TB" | "BT"; centerNode?: string | undefined; maxDepth?: number | undefined; clusterBy?: "type" | "theme" | "metric" | "connectivity" | undefined; filters?: { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; } | undefined; interactivity?: { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; } | undefined; }, { centerNode?: string | undefined; maxDepth?: number | undefined; clusterBy?: "type" | "theme" | "metric" | "connectivity" | undefined; direction?: "LR" | "RL" | "TB" | "BT" | undefined; filters?: { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; } | undefined; interactivity?: { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; } | undefined; }>>; }, "strip", z.ZodTypeAny, { thoughtType: "regular" | "revision" | "meta" | "hypothesis" | "conclusion"; thought: string; connections: { type: "supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by"; targetId: string; strength: number; bidirectional?: boolean | undefined; description?: string | undefined; attributes?: { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; } | undefined; inferred?: boolean | undefined; inferenceConfidence?: number | undefined; }[]; requestSuggestions: boolean; generateVisualization: boolean; visualizationType: "hierarchical" | "graph" | "force" | "radial" | "chronological" | "thematic"; suggestTools: boolean; help: boolean; requestVerification: boolean; containsCalculations: boolean; sessionId?: string | undefined; userId?: string | undefined; visualizationOptions?: { direction: "LR" | "RL" | "TB" | "BT"; centerNode?: string | undefined; maxDepth?: number | undefined; clusterBy?: "type" | "theme" | "metric" | "connectivity" | undefined; filters?: { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; } | undefined; interactivity?: { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; } | undefined; } | undefined; }, { thought: string; sessionId?: string | undefined; thoughtType?: "regular" | "revision" | "meta" | "hypothesis" | "conclusion" | undefined; connections?: { type: "supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by"; targetId: string; strength: number; bidirectional?: boolean | undefined; description?: string | undefined; attributes?: { nature?: "causal" | "correlational" | "sequential" | "hierarchical" | "associative" | undefined; scope?: "broad" | "specific" | "partial" | "complete" | undefined; temporality?: "before" | "after" | "during" | "concurrent" | undefined; certainty?: "definite" | "high" | "moderate" | "low" | "speculative" | undefined; directionality?: "unidirectional" | "bidirectional" | "multidirectional" | undefined; customAttributes?: Record<string, string> | undefined; } | undefined; inferred?: boolean | undefined; inferenceConfidence?: number | undefined; }[] | undefined; requestSuggestions?: boolean | undefined; generateVisualization?: boolean | undefined; visualizationType?: "hierarchical" | "graph" | "force" | "radial" | "chronological" | "thematic" | undefined; suggestTools?: boolean | undefined; userId?: string | undefined; help?: boolean | undefined; requestVerification?: boolean | undefined; containsCalculations?: boolean | undefined; visualizationOptions?: { centerNode?: string | undefined; maxDepth?: number | undefined; clusterBy?: "type" | "theme" | "metric" | "connectivity" | undefined; direction?: "LR" | "RL" | "TB" | "BT" | undefined; filters?: { nodeTypes?: ("regular" | "revision" | "meta" | "hypothesis" | "conclusion")[] | undefined; connectionTypes?: ("supports" | "contradicts" | "refines" | "branches" | "derives" | "associates" | "exemplifies" | "generalizes" | "compares" | "contrasts" | "questions" | "extends" | "analyzes" | "synthesizes" | "applies" | "evaluates" | "cites" | "extended-by" | "analyzed-by" | "component-of" | "applied-by" | "evaluated-by" | "cited-by")[] | undefined; metricThresholds?: { confidence?: [number, number] | undefined; relevance?: [number, number] | undefined; quality?: [number, number] | undefined; } | undefined; textSearch?: string | undefined; dateRange?: [Date, Date] | undefined; customFilters?: Record<string, unknown> | undefined; } | undefined; interactivity?: { zoomable?: boolean | undefined; draggable?: boolean | undefined; selectable?: boolean | undefined; tooltips?: boolean | undefined; expandableNodes?: boolean | undefined; initialZoom?: number | undefined; zoomRange?: [number, number] | undefined; highlightOnHover?: boolean | undefined; } | undefined; } | undefined; }>; export declare function createSmartThinkingServer(env?: SmartThinkingEnvironment, options?: SmartThinkingServerOptions): { server: McpServer; env: SmartThinkingEnvironment; }; export declare const SearchSchema: z.ZodObject<{ query: z.ZodString; limit: z.ZodDefault<z.ZodOptional<z.ZodNumber>>; sessionId: z.ZodOptional<z.ZodString>; }, "strip", z.ZodTypeAny, { limit: number; query: string; sessionId?: string | undefined; }, { query: string; sessionId?: string | undefined; limit?: number | undefined; }>; export declare const FetchSchema: z.ZodObject<{ id: z.ZodString; sessionId: z.ZodOptional<z.ZodString>; }, "strip", z.ZodTypeAny, { id: string; sessionId?: string | undefined; }, { id: string; sessionId?: string | undefined; }>; export type { SmartThinkingServerOptions };