{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["lambda_term"],"properties":{"lambda_term":{"type":"object","additionalProperties":false,"required":["term","claim"],"properties":{"term":{"$ref":"#/properties/artifact/definitions/node"},"claim":{"$ref":"#/properties/artifact/definitions/node"}}}},"definitions":{"node":{"anyOf":[{"type":"array","minItems":2,"maxItems":2,"items":true,"prefixItems":[{"const":0},{"type":"integer","minimum":0,"maximum":63}]},{"type":"array","minItems":2,"maxItems":2,"items":true,"prefixItems":[{"const":1},{"$ref":"#/properties/artifact/definitions/node"}]},{"type":"array","minItems":3,"maxItems":3,"items":true,"prefixItems":[{"const":2},{"$ref":"#/properties/artifact/definitions/node"},{"$ref":"#/properties/artifact/definitions/node"}]}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-NIGHT-ECMA/lambda-debruijn-capture-avoiding-beta-normalization"}