@martinloop/mcp 0.2.5 → 0.2.7

package/dist/tools/tool-support.js

@@ -272,18 +272,45 @@ export function buildSuggestedResourceUris(loopId) {
         "martin://server/health",
         "martin://runs/recent",
         "martin://runs/triage",
+        "martin://runs/latest",
+        "martin://runs/latest/summary",
+        "martin://runs/latest/proof-card",
+        "martin://runs/latest/budget-status",
+        "martin://runs/latest/verifier-evidence",
+        "martin://runs/latest/rollback-evidence",
+        "martin://policies/current",
+        "martin://repo/risk-map",
+        "martin://verifiers/results",
+        "martin://agent/next-step",
         `martin://runs/${loopId}`,
+        `martin://runs/${loopId}/dossier`,
         `martin://runs/${loopId}/verification`,
         "martin://guides/mcp-usage",
+        "martin://guides/agent-start",
+        "martin://guides/command-map",
+        "martin://guides/ide-onboarding",
+        "martin://guides/operating-rules",
         "martin://guides/publish-readiness"
     ];
 }
 export function buildSuggestedPromptNames() {
     return [
+        "martin_start",
+        "martin_preflight",
+        "martin_triage",
+        "martin_resume",
+        "martin_prove",
+        "martin_release_check",
         "martin_governed_coding_kickoff",
         "martin_debug_failed_run",
         "martin_publish_readiness_review",
-        "martin_triage_run_store"
+        "martin_triage_run_store",
+        "safe_bug_fix",
+        "write_tests_first",
+        "small_refactor",
+        "security_review",
+        "pr_review",
+        "release_check"
     ];
 }
 function countBy(values, key) {

package/dist/tools/workflow-governance.d.ts

@@ -0,0 +1,133 @@
+import { type RunStoreInspection } from "./tool-support.js";
+export type MartinPolicyPack = "solo-founder" | "startup-team" | "enterprise-strict" | "oss-maintainer" | "security-sensitive";
+export interface RepoGitState {
+    available: boolean;
+    isRepo: boolean;
+    clean: boolean;
+    branch?: string;
+    upstream?: string;
+    ahead?: number;
+    behind?: number;
+}
+export interface RepoSignals {
+    workingDirectory: string;
+    packageManager: "pnpm" | "npm" | "yarn" | "bun" | "unknown";
+    languages: string[];
+    frameworks: string[];
+    verifiers: {
+        test: string[];
+        lint: string[];
+        build: string[];
+        defaultPlan: string[];
+    };
+    packageScripts: Record<string, string>;
+    git: RepoGitState;
+    sensitivePaths: string[];
+    availableHosts: Record<"claude" | "codex" | "cursor" | "gemini", {
+        available: boolean;
+        detail: string;
+        resolvedPath?: string;
+    }>;
+}
+export interface MartinRiskAssessment {
+    score: number;
+    level: "low" | "medium" | "high";
+    reasons: string[];
+    recommendedAction: "proceed" | "review" | "require_human_approval";
+}
+export interface MartinPolicyPackDefinition {
+    name: MartinPolicyPack;
+    summary: string;
+    defaultVerifiers: string[];
+    defaultAllowedPaths: string[];
+    defaultBlockedPaths: string[];
+    dossierExpectations: string[];
+    requireApprovalAtOrAbove: MartinRiskAssessment["level"];
+}
+export interface MartinPlanBudget {
+    maxUsd: number;
+    softLimitUsd: number;
+    maxIterations: number;
+    maxTokens: number;
+    maxMinutes: number;
+    maxFilesChanged: number;
+    maxCommands: number;
+}
+export interface MartinRunContract {
+    objective: string;
+    context?: string;
+    allowedPaths: string[];
+    blockedPaths: string[];
+    budget: MartinPlanBudget;
+    verifiers: string[];
+    risk: MartinRiskAssessment;
+    policyPack: MartinPolicyPack;
+    requiresApproval: boolean;
+}
+export interface MartinPlanProposal {
+    objective: string;
+    implementationSummary: string;
+    proposedFileScope: {
+        allowedPaths: string[];
+        blockedPaths: string[];
+    };
+    proposedVerifiers: string[];
+    estimatedBudget: MartinPlanBudget;
+    risk: MartinRiskAssessment;
+    approvalRecommendation: "not_required" | "recommended" | "required";
+    policyPack: MartinPolicyPackDefinition;
+    nextSteps: string[];
+}
+export interface MartinReadinessReport {
+    score: number;
+    level: "low" | "medium" | "high";
+    missingSafeguards: string[];
+    repo: {
+        git: RepoGitState;
+        packageManager: RepoSignals["packageManager"];
+        languages: string[];
+        frameworks: string[];
+    };
+    safeguards: {
+        verifierDetected: boolean;
+        repoScoped: boolean;
+        branchSafe: boolean;
+        runStoreHealthy: boolean;
+    };
+    availableHosts: RepoSignals["availableHosts"];
+}
+interface ContractOverrides {
+    objective: string;
+    context?: string;
+    verificationPlan?: string[];
+    allowedPaths?: string[];
+    deniedPaths?: string[];
+    policyPack?: MartinPolicyPack;
+    maxUsd?: number;
+    maxIterations?: number;
+    maxTokens?: number;
+    maxMinutes?: number;
+    maxFilesChanged?: number;
+    maxCommands?: number;
+}
+export declare function inspectRepoSignals(workingDirectory: string): RepoSignals;
+export declare function buildReadinessReport(signals: RepoSignals, runStore: RunStoreInspection): MartinReadinessReport;
+export declare function buildPolicyPackDefinition(policyPack: MartinPolicyPack | undefined, signals: RepoSignals): MartinPolicyPackDefinition;
+export declare function buildPlanProposal(workingDirectory: string, overrides: ContractOverrides): MartinPlanProposal;
+export declare function buildRunContract(workingDirectory: string, overrides: ContractOverrides): MartinRunContract;
+export declare function assessRunRisk(input: {
+    objective: string;
+    context?: string;
+    allowedPaths: string[];
+    blockedPaths: string[];
+    verifiers: string[];
+    signals: RepoSignals;
+}): MartinRiskAssessment;
+export declare function buildRepoRiskMap(signals: RepoSignals): {
+    workingDirectory: string;
+    packageManager: RepoSignals["packageManager"];
+    frameworks: string[];
+    sensitivePaths: string[];
+    recommendedPolicyPack: MartinPolicyPack;
+};
+export {};