pullfrog 0.1.55 → 0.1.57

package/dist/external.d.ts

@@ -13,6 +13,41 @@ export type AgentId = "claude" | "opencode";
  * opencode:    pullfrog_select_mode
  */
 export declare function formatMcpToolRef(agentId: AgentId, toolName: string): string;
+/**
+ * Every MCP tool name `text` references, parsed with the same naming scheme
+ * `formatMcpToolRef` emits. Deliberately lives next to that function so the
+ * producer and the parser cannot drift apart.
+ *
+ * The convention this assumes — and enforces, via `assertPromptToolRefs` — is
+ * that a prefixed token appearing anywhere in prompt text IS a tool reference.
+ * Prose that merely looks like one would read as a tool reference to the model
+ * too, so treating it as a mistake is correct.
+ */
+export declare function extractMcpToolRefs(agentId: AgentId, text: string): string[];
+/**
+ * Report when the assembled prompt advertises a tool the MCP server did not
+ * actually register.
+ *
+ * Prompt text and tool registration are decided in different files off
+ * overlapping conditions (`signedCommits`, `repoIntelligence`, `shell`, the
+ * `gh` mirror threshold, …), so they can silently disagree — and the failure
+ * mode is invisible: the agent burns turns calling a tool that isn't there, or
+ * never learns about one that is. `toolNames` comes straight back from
+ * `startMcpHttpServer`, i.e. the list the server registered rather than a
+ * second derivation of it, so there is nothing to keep in sync.
+ *
+ * WARNS rather than throws, and that is deliberate. The prompt embeds
+ * customer-authored text — repo instructions, an issue or PR body — so a
+ * customer who merely WRITES a prefixed token controls this predicate. Throwing
+ * handed them a way to fail every run on their repo, which is what happened to
+ * `arcainc/arca` on 0.1.56. A drift check that aborts a customer run is the
+ * same mistake 0.1.54 made; the drift still has to be visible, so it is logged.
+ */
+export declare function findDanglingPromptToolRefs(params: {
+    agentId: AgentId;
+    prompt: string;
+    toolNames: string[];
+}): string[];
 export type { EffortPosition } from "./effort.ts";
 export { DEFAULT_EFFORT_POSITION, EFFORT_ALIASES, isEffortPosition, offeredRungs, parseEffortPosition, resolveRung, rungLabel, rungPosition, } from "./effort.ts";
 export type { AutoTier, ModelAlias, ModelProvider, ProviderConfig } from "./models.ts";