{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cfgFiniteness"],"properties":{"cfgFiniteness":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["variables","start","rules"],"properties":{"variables":{"type":"integer","minimum":1,"maximum":10},"start":{"type":"integer","minimum":0,"maximum":12},"rules":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["head","body"],"properties":{"head":{"type":"integer","minimum":0,"maximum":12},"body":{"type":"array","items":{"anyOf":[{"type":"integer","minimum":0,"maximum":12},{"const":"t"}]},"minItems":0,"maxItems":8}}},"minItems":0,"maxItems":40}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B15/context-free-grammar-complete-language-finiteness"}