{"payload":{"header_redesign_enabled":false,"results":[{"id":"81612762","archived":false,"color":"#3572A5","followers":3638,"has_funding_file":false,"hl_name":"trailofbits/manticore","hl_trunc_description":"Symbolic execution tool","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":81612762,"name":"manticore","owner_id":2314423,"owner_login":"trailofbits","updated_at":"2023-09-15T20:21:13.706Z","has_issues":true}},"sponsorable":false,"topics":["python","testing","security","emulation","ethereum","blockchain","symbolic-execution","z3","binary-analysis","program-analysis","smt"],"type":"Public","help_wanted_issues_count":20,"good_first_issue_issues_count":8,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":89,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Atrailofbits%252Fmanticore%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/trailofbits/manticore/star":{"post":"dXAP5AEkrfUzINiLNNMtt0ELYWcOzJ7q44azZyn-p3heuQSeXgZ0rs79UJScqZ7Kk5UbCL7_xvht-cWH_qHeOg"},"/trailofbits/manticore/unstar":{"post":"SAtk7auE_pbYGPas6okrFr5sVEfVTGIt4So3Cal3R2_9xkAWermzYI6eqIGUsj8GLeaEKO-QR0JClChaGXk6ug"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"aBeSAn7wwxdxcqj89GXVk-azFD9_TD2DcVSU9b0eCXtTUIPOEbwJ1CfCQQRj-_8dleoGb_VNScfctfEAfG0TpA"}}},"title":"Repository search results"}