{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["ground_set","independent_sets","claims"],"properties":{"ground_set":{"type":"array","maxItems":16,"uniqueItems":true,"items":{"type":"string","minLength":1,"maxLength":128}},"independent_sets":{"type":"array","maxItems":256,"items":{"type":"array","maxItems":16,"items":{"type":"integer","minimum":0,"maximum":15}}},"claims":{"type":"object","additionalProperties":false,"required":["ground_elements","independent_sets","maximum_cardinality","empty_set_present","hereditary","augmentation","is_matroid"],"properties":{"ground_elements":{"type":"number"},"independent_sets":{"type":"number"},"maximum_cardinality":{"type":"number"},"empty_set_present":{"type":"boolean"},"hereditary":{"type":"boolean"},"augmentation":{"type":"boolean"},"is_matroid":{"type":"boolean"}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-B-NIGHT-MATROID_INDEPENDENCE_AXIOMS/finite-matroid-independent-family-axioms"}