pullfrog 0.1.55 → 0.1.56

package/dist/external.d.ts

@@ -13,6 +13,34 @@ 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[];
+/**
+ * Fail the run if 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.
+ */
+export declare function assertPromptToolRefs(params: {
+    agentId: AgentId;
+    prompt: string;
+    toolNames: string[];
+}): void;
 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";