{"payload":{"header_redesign_enabled":false,"results":[{"id":"81612762","archived":false,"color":"#3572A5","followers":3653,"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":52,"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":"o3gvO2I83ZDIL2RrvK3XpGEqAobkIn7GTNozEpslfAVgp36qIlRIcpD4KSYAHBFrJYHZflQKm_WG4YF514eaUQ"},"/trailofbits/manticore/unstar":{"post":"cSDtGzk-mSpy2Apsr0S8IcMBSGxqc5GghSyP4zpmWEg-2M1-WqagZtcV6ge06jFhjWMARIXms_4LVFCWTM4MWQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"aEXa8xxbyoDjU-GK94qn6DJWgk49ITRz0X31_eaiKWSFQ_025wqXKTDUn0a0zA0xUjLJRxlCmD1V57ka98yQBw"}}},"title":"Repository search results"}