@grafema/mcp 0.3.29 → 0.3.31

package/dist/handlers.d.ts

@@ -1,61 +0,0 @@
-/**
- * MCP Tool Handlers
- */
-import type { ToolResult, QueryGraphArgs, FindCallsArgs, FindNodesArgs, TraceAliasArgs, TraceDataFlowArgs, CheckInvariantArgs, AnalyzeProjectArgs, GetSchemaArgs, CreateGuaranteeArgs, CheckGuaranteesArgs, DeleteGuaranteeArgs, GetCoverageArgs, GetDocumentationArgs, FindGuardsArgs, GetFunctionDetailsArgs, GetContextArgs, GetFileOverviewArgs, ReportIssueArgs, ReadProjectStructureArgs, WriteConfigArgs } from './types.js';
-export declare function handleQueryGraph(args: QueryGraphArgs): Promise<ToolResult>;
-export declare function handleFindCalls(args: FindCallsArgs): Promise<ToolResult>;
-export declare function handleFindNodes(args: FindNodesArgs): Promise<ToolResult>;
-export declare function handleTraceAlias(args: TraceAliasArgs): Promise<ToolResult>;
-export declare function handleTraceDataFlow(args: TraceDataFlowArgs): Promise<ToolResult>;
-export declare function handleCheckInvariant(args: CheckInvariantArgs): Promise<ToolResult>;
-export declare function handleAnalyzeProject(args: AnalyzeProjectArgs): Promise<ToolResult>;
-export declare function handleGetAnalysisStatus(): Promise<ToolResult>;
-export declare function handleGetStats(): Promise<ToolResult>;
-export declare function handleGetSchema(args: GetSchemaArgs): Promise<ToolResult>;
-/**
- * Create a new guarantee (Datalog-based or contract-based)
- */
-export declare function handleCreateGuarantee(args: CreateGuaranteeArgs): Promise<ToolResult>;
-/**
- * List all guarantees (both Datalog-based and contract-based)
- */
-export declare function handleListGuarantees(): Promise<ToolResult>;
-/**
- * Check guarantees (both Datalog-based and contract-based)
- */
-export declare function handleCheckGuarantees(args: CheckGuaranteesArgs): Promise<ToolResult>;
-/**
- * Delete a guarantee
- */
-export declare function handleDeleteGuarantee(args: DeleteGuaranteeArgs): Promise<ToolResult>;
-export declare function handleGetCoverage(args: GetCoverageArgs): Promise<ToolResult>;
-export declare function handleGetDocumentation(args: GetDocumentationArgs): Promise<ToolResult>;
-/**
- * Find conditional guards protecting a node.
- *
- * Walks up the containment tree via CONTAINS edges, collecting
- * SCOPE nodes that have conditional=true (if_statement, else_statement, etc.).
- *
- * Returns guards in inner-to-outer order.
- */
-export declare function handleFindGuards(args: FindGuardsArgs): Promise<ToolResult>;
-/**
- * Get comprehensive function details including calls made and callers.
- *
- * Graph structure:
- * ```
- * FUNCTION -[HAS_SCOPE]-> SCOPE -[CONTAINS]-> CALL/METHOD_CALL
- *                         SCOPE -[CONTAINS]-> SCOPE (nested blocks)
- * CALL -[CALLS]-> FUNCTION (target)
- * ```
- *
- * This is the core tool for understanding function behavior.
- * Use transitive=true to follow call chains (A -> B -> C).
- */
-export declare function handleGetFunctionDetails(args: GetFunctionDetailsArgs): Promise<ToolResult>;
-export declare function handleGetContext(args: GetContextArgs): Promise<ToolResult>;
-export declare function handleReportIssue(args: ReportIssueArgs): Promise<ToolResult>;
-export declare function handleReadProjectStructure(args: ReadProjectStructureArgs): Promise<ToolResult>;
-export declare function handleWriteConfig(args: WriteConfigArgs): Promise<ToolResult>;
-export declare function handleGetFileOverview(args: GetFileOverviewArgs): Promise<ToolResult>;
-//# sourceMappingURL=handlers.d.ts.map

package/dist/handlers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../src/handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmBH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,cAAc,EAEd,sBAAsB,EACtB,cAAc,EACd,mBAAmB,EAInB,eAAe,EACf,wBAAwB,EACxB,eAAe,EAChB,MAAM,YAAY,CAAC;AAKpB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA8EhF;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CA0E9E;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAiD9E;AAID,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA2DhF;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CA+DtF;AAED,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6CxF;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6BxF;AAED,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,CAYnE;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAe1D;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAwB9E;AAID;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA8D1F;AAED;;GAEG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,UAAU,CAAC,CA0ChE;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyG1F;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA+B1F;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAsClF;AAED,wBAAsB,sBAAsB,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyE5F;AAID;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAyEhF;AAID;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,sBAAsB,GAC3B,OAAO,CAAC,UAAU,CAAC,CA6ErB;AA+CD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,UAAU,CAAC,CA4HrB;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAkElF;AAID,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,UAAU,CAAC,CA8ErB;AAID,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,UAAU,CAAC,CA2FrB;AAID,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,UAAU,CAAC,CA2GrB"}