import { z } from "zod";
import type { McpServer, RegisteredTool } from "@modelcontextprotocol/sdk/server/mcp.js";
import { type DoctorCheck } from "../hil/schemas.js";
import { type DaemonStats } from "../hil/daemon.js";
import type { ToolContext } from "../tool-context.js";
export declare const TOOL_NAME = "crosspad_doctor";
export interface DoctorProbe {
    hilPython(): string;
    pythonRunnable(py: string): Promise<boolean>;
    /** crosspad_hil.__version__ or null when not importable. */
    hilVersion(py: string): Promise<string | null>;
    requiredHilVersion(): string;
    idfRoot(): string;
    idfExportExists(): boolean;
    pcRoot(): string;
    exists(p: string): boolean;
    mtimeMs(p: string): number | null;
    /** Newest *.c/*.cpp/*.h/*.hpp mtime under root/src (bounded walk), or null. */
    newestSourceMtimeMs(root: string): number | null;
    simBinary(): string;
    clangdPath(): string | null;
}
export declare const O_Doctor: {
    success: z.ZodBoolean;
    action: z.ZodOptional<z.ZodString>;
    ok: z.ZodOptional<z.ZodBoolean>;
    checks: z.ZodOptional<z.ZodArray<z.ZodObject<{
        name: z.ZodString;
        ok: z.ZodBoolean;
        detail: z.ZodString;
        fix: z.ZodOptional<z.ZodNullable<z.ZodString>>;
    }, z.core.$loose>>>;
    daemon: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    dropped_handles: z.ZodOptional<z.ZodNumber>;
    error: z.ZodOptional<z.ZodObject<{
        code: z.ZodString;
        message: z.ZodString;
        hint: z.ZodOptional<z.ZodNullable<z.ZodString>>;
        details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$loose>>;
    details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    resultType: z.ZodOptional<z.ZodString>;
    confirmation: z.ZodOptional<z.ZodObject<{
        token: z.ZodString;
        expires_in_s: z.ZodNumber;
        summary: z.ZodString;
    }, z.core.$strip>>;
    tool: z.ZodOptional<z.ZodString>;
    hint: z.ZodOptional<z.ZodString>;
};
/** Numeric semver compare on the first three dot-separated components (pre-release tags ignored). */
export declare function compareVersions(a: string, b: string): number;
/** Same resolution as getHilDaemon(): config hil_python → $CROSSPAD_HIL_PYTHON → tracer venv python → python3. */
export declare function resolveHilPython(): string;
export declare function runDoctorChecks(p: DoctorProbe, daemonChecks: () => Promise<DoctorCheck[]>, daemonStats?: () => Promise<DaemonStats>): Promise<DoctorCheck[]>;
export declare function realProbe(): DoctorProbe;
export declare function registerDoctorTool(server: McpServer, ctx: ToolContext, probe?: DoctorProbe): RegisteredTool;