{"tasks":[{"task_id":"task1_vuln_detection","name":"Targeted Vulnerability Detection","difficulty":"medium","description":"Given a Solidity contract, identify the vulnerable function and describe the vulnerability type in 2-3 words.","status":"active"},{"task_id":"task2_property_discovery","name":"Property Discovery","difficulty":"hard","description":"Given a Solidity function, write the natural-language property that describes its correct behaviour.","status":"active"},{"task_id":"task3_rule_checker","name":"Rule Checker","difficulty":"easy","description":"Given a property in English and a Solidity contract, identify which function violates that property.","status":"active"}]}