contract_create
Creates a contract memory to document and track the observable behavior of functions/APIs, including inputs, outputs, errors, and side effects, for later verification and consistency checking.
Instructions
Create a contract memory for observable behavior of functions/APIs.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tags | Yes | ||
| title | Yes | ||
| errors | No | ||
| inputs | No | ||
| details | No | ||
| outputs | No | ||
| project | No | ||
| subject | Yes | ||
| statement | Yes | ||
| side_effects | No | ||
| compatibility | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |