{"payload":{"header_redesign_enabled":false,"results":[{"id":"577492459","archived":false,"color":"#3572A5","followers":729,"has_funding_file":false,"hl_name":"a16z/halmos","hl_trunc_description":"A symbolic testing tool for EVM smart contracts","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":577492459,"name":"halmos","owner_id":745163,"owner_login":"a16z","updated_at":"2024-06-29T07:13:11.329Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":10,"good_first_issue_issues_count":6,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":65,"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%253Aa16z%252Fhalmos%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/a16z/halmos/star":{"post":"TBnUWP7lkRUpe8Gc_DRtbPwWbzupO3oACjKEAqGAqhTKUZLYGZUeQ-KXhLndA_8SaogF0rXgD9FRFFFlCdQQ5g"},"/a16z/halmos/unstar":{"post":"PPN38NkVIYQ3mVFoJuolICAQ_LF-1YQ9mOSvwAEbLbbysujK8SdCZSjLDJ91IriFZUztGDff-Qys0G74z3rytw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"qQWdOujjahqLRba_-1IQDmuoDV9w0yWQYyQHwdxYGQjWA9T1TrXD75Pofd_3z3KypdFEFqvGznD60mlAg273cQ"}}},"title":"Repository search results"}