harness_list_rules
Retrieve a summary of all verification rules (R0-R9) including rule ID, name, severity, and description. Enables quick reference to each rule's purpose and criticality.
Instructions
List all harness rules with their descriptions.
Returns a summary of all verification rules (R0-R9) including rule ID, name, severity, and brief description.
Returns: JSON string with list of all rules.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |