Skip to main content
Glama

ait_verify_fix

Re-runs 13 AST rules on a candidate patch and diffs the result against the unmodified file on disk to confirm the target defect is fixed and no regressions were introduced.

Instructions

Re-run the 13-rule catalog over a candidate source string and diff the result against the file as it currently exists on disk: returns resolved, introduced, remaining_defects, regression and clean. USE WHEN: you have a proposed patch for a file that is still unmodified on disk, to prove the target finding is gone and nothing new appeared. DO NOT USE: after writing the patch — the baseline would then equal the candidate and the diff is meaningless — or as a semantic proof; this is AST re-verification of 13 rules, not correctness.

Input Schema

NameRequiredDescriptionDefault
file_pathYesUnmodified baseline file on disk, e.g. src/ait/engine.py.
candidate_codeYesFull replacement source text (not a diff), e.g. 'def f(x):\n return x\n'.

Schema Changelog

Changes observed during successful MCP inspections.

  1. First observedv1.0.0

TDQS

A4.8/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

No annotations exist, so the description carries the full burden, and it does: it discloses that this is read-only verification against an on-disk baseline, names the five verdict fields, and sets an explicit expectation that this is AST re-verification of 13 rules rather than a correctness proof.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Front-loaded with the core operation, then structured with USE WHEN and DO NOT USE blocks. Dense but every clause, including the 'after writing the patch' exclusion, carries decision-relevant information.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a two-parameter tool with no output schema and no annotations, it supplies the verifier's return categories, the precondition on the file state, and an explicit limitation on what the verdict means. Nothing an agent needs to invoke it correctly is missing.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is already 100%, so the baseline is 3; the description adds meaning by requiring the file be the unmodified on-disk baseline and by stressing a full replacement source string rather than a diff, which prevents a realistic misuse.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource ('re-run the 13-rule catalog over a candidate source string and diff the result against the file on disk') and enumerates the outcome categories, so the operation is unmistakable.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines5/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Explicit USE WHEN and DO NOT USE clauses: use before writing a patch while the file is unmodified, and do not use afterwards because the baseline would equal the candidate. It also excludes the semantic-proof use case, which routes the agent away from ait_review-style tools.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Deploy Server

Other Tools