Verify TNLs
verifyCheck which Typed Natural Language contracts are affected by your code edits. Returns a structured verification report with failures as data.
Instructions
Verify the TNLs impacted by a set of code paths. Returns a structured report; verify failures are data, not isError.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | Yes | Code paths the agent intends to edit. |