{"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":84,"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":"RpxNqpN5ZKFOLHZKBuXlyWb5erNnsn2KaM6gm39EdHayaCx7mp8eXqtj5ri6azWasE5-67xA56H_kU13l_-zWQ"},"/trailofbits/manticore/unstar":{"post":"V88pi2jvDYB0wdAGd0TWKxJ4TYJC344Yjzt90isncKLjuX8Pd09WrCLfPN5hdU9rotIdFcN_treozzlmWGIKUg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"k2W7RexSxnDV5bVuxTFs19EwrSNOO-X35tLEH4d-No3ZRB-ReWNo4Mwz2CG8BBNGff2Vmhd1j2rCRa1v1oqOZA"}}},"title":"Repository search results"}