Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review.
日本語の概要は準備中です。原文の説明を表示しています。
Investigate MCP tool availability, discovery, and selection, including controlled adoption evaluations.
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Evaluate an agent-facing tool as a routing surface, not as a call-count target. Distinguish availability, discovery, selection, and execution before changing server instructions, tool metadata, or the operation contract. Load this skill only for the evaluator; never enable it in an agent-under-test configuration.
Use harbor-benchmarks for a Harbor task or verifier change and
verifier-evaluations for its mathematical verifier. This skill owns only the
adoption diagnosis and its evidence boundary.
For a controlled comparison, write one falsifiable question, such as “does server-level guidance cause an agent to inspect a matching operation when the ordinary prompt does not?” Keep the model, model version, reasoning effort, client version, Jacobian revision, image digest, task digest, MCP configuration, egress/proxy state, attempt count, and budgets fixed across comparable arms.
Record the relevant prompt and agent-visible MCP surface. In a controlled comparison, do not include an operation ID, answer, or routing instruction in a natural-use arm. Do not score a tool call as success: final mathematical correctness, declared witness validity, and truthful claims remain the task outcomes.
Run deterministic checks before model calls, then use the smallest set of model arms that distinguishes the suspected stage.
| Stage | Minimal probe | What a pass establishes |
|---|---|---|
| Availability | Start the configured MCP server and inspect the initialization/tool list. | The client receives the intended connection, tools, descriptions, and schemas. |
| Discovery | Search with a natural user phrase and natural category; inspect only returned candidates. | A relevant operation is reachable without prior taxonomy or exact-ID knowledge. |
| Execution | Invoke the known matching operation directly with one frozen valid payload. | Input schema, dispatch, and typed result work. |
| Selection | Give a fresh agent the same mathematical task under no cue, server guidance only, and one clearly labeled task-level routing cue. | The effect of routing/salience is separable from connection and execution. |
Keep the execution control separate from discovery. A direct operation ID can prove dispatch, but cannot prove that an agent would find that operation. Likewise, a task-level instruction can prove that the client can call a tool, but cannot prove that server initialization instructions are salient enough to change ordinary selection.
Use model comparisons for controlled arms, event capture, and scoring. Run only the arms needed to answer the frozen question within user-authorized cost boundaries. A deterministic diagnosis does not require a model experiment.
Use the smallest supported conclusion:
Use at least one repeated or independently varied case before claiming a stable effect. Open an issue only with the exact prompt, environment, event evidence, and the distinction between verified behavior and the remaining hypothesis. Keep outcome evaluation separate from telemetry intended to explain tool selection.
まだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review.
日本語の概要は準備中です。原文の説明を表示しています。
Diagnose malformed calls, retries, and unusable results after an agent selects an MCP tool.
日本語の概要は準備中です。原文の説明を表示しています。
Design or audit a Jacobian operation’s mathematical contract, boundedness, exact results, and composition.
日本語の概要は準備中です。原文の説明を表示しています。
Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory.
日本語の概要は準備中です。原文の説明を表示しています。
Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets.
日本語の概要は準備中です。原文の説明を表示しています。
Use Jacobian’s typed operations when exact computation or structural analysis can help solve a mathematical problem.
日本語の概要は準備中です。原文の説明を表示しています。