delete_guarantee
Permanently delete a guarantee by name when it is no longer relevant, replaced, or experimental. Verify the name with list_guarantees first.
Instructions
Delete a guarantee by name.
Use this when:
A guarantee is no longer relevant to the codebase
Replacing a guarantee with a new version (delete old, create new)
Cleaning up experimental guarantees after testing
This permanently removes the guarantee. Use list_guarantees first to verify the name.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | Name of guarantee to delete |