export interface TypeCheckFinding {
    tool: "mypy" | "pyright";
    file: string;
    line: number;
    col: number;
    severity: "error" | "warning" | "note";
    rule?: string;
    message: string;
    containing_symbol?: {
        name: string;
        kind: string;
        start_line: number;
    };
}
export interface TypeCheckResult {
    tool: "mypy" | "pyright";
    findings: TypeCheckFinding[];
    total: number;
    by_severity: Record<string, number>;
    tool_available: boolean;
}
export declare function _resetTypeCheckCache(): void;
/**
 * Run mypy on the repository.
 */
export declare function runMypy(repo: string, options?: {
    file_pattern?: string;
    strict?: boolean;
    max_results?: number;
}): Promise<TypeCheckResult>;
/**
 * Run pyright on the repository.
 */
export declare function runPyright(repo: string, options?: {
    file_pattern?: string;
    strict?: boolean;
    max_results?: number;
}): Promise<TypeCheckResult>;
//# sourceMappingURL=typecheck-tools.d.ts.map