Interface VerifyAgentLike

src/verify/orchestrator.ts:8–18

import { inferVerifyProjectProfile, type VerifyProjectProfile } from "./recipes";

export interface VerifyAgentLike {
  getCwd(): string;
  getSandboxSettings(): SandboxSettings;
  setSandboxSettings(settings: SandboxSettings): void;
  detectVerifyRecipe(settings?: SandboxSettings, abortSignal?: AbortSignal): Promise<VerifyRecipe | null>;
  runTaskRequest(
    request: TaskRequest,
    onActivity?: (detail: string) => void,
    abortSignal?: AbortSignal,
  ): Promise<ToolResult>;
}

export interface PreparedVerifyRun {
  profile: VerifyProjectProfile;