API reference · schema

ContractRequest

3 fields · used by 0 operations

Last reviewed 2026-10-02

Fields

Field	Type	Meaning
`source` required	string
`precondition` required	string	Boolean expression over function parameters
`postcondition` required	string	Boolean expression over parameters plus 'result'

Smallest valid example

{
  "source": "source",
  "precondition": "precondition",
  "postcondition": "postcondition"
}

JSON Schema

Show the raw definition

{
  "properties": {
    "source": {
      "type": "string",
      "title": "Source"
    },
    "precondition": {
      "type": "string",
      "title": "Precondition",
      "description": "Boolean expression over function parameters"
    },
    "postcondition": {
      "type": "string",
      "title": "Postcondition",
      "description": "Boolean expression over parameters plus 'result'"
    }
  },
  "type": "object",
  "required": [
    "source",
    "precondition",
    "postcondition"
  ],
  "title": "ContractRequest"
}

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.

Create a free account → · Try the sandbox · See the whole ecosystem