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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.