/**
 * Invariant-related MCP Tools
 *
 * Provides MCP tools for managing project invariants (rules that must hold).
 * Uses DocService from @jamesaphoenix/tx.
 */
import type { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
/**
 * Register all invariant-related MCP tools on the server.
 */
export declare const registerInvariantTools: (server: McpServer) => void;
//# sourceMappingURL=invariant.d.ts.map