API reference · schema

DiffRequest

4 fields · used by 0 operations

Last reviewed 2026-10-19

Fields

Field	Type	Meaning
`diff` required	string
`repo`	string or null
`pr`	integer or null
`head_sha`	string or null

Smallest valid example

{
  "diff": "diff"
}

JSON Schema

Show the raw definition

{
  "properties": {
    "diff": {
      "type": "string",
      "title": "Diff"
    },
    "repo": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "title": "Repo"
    },
    "pr": {
      "anyOf": [
        {
          "type": "integer"
        },
        {
          "type": "null"
        }
      ],
      "title": "Pr"
    },
    "head_sha": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "title": "Head Sha"
    }
  },
  "type": "object",
  "required": [
    "diff"
  ],
  "title": "DiffRequest"
}

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 30-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