{"payload":{"header_redesign_enabled":false,"results":[{"id":"458428775","archived":false,"color":"#db5855","followers":1,"has_funding_file":false,"hl_name":"mountain/mmtk","hl_trunc_description":"An experimental toolkit of metamath based on mmj2","language":"Clojure","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":458428775,"name":"mmtk","owner_id":851,"owner_login":"mountain","updated_at":"2022-02-21T02:13:37.397Z","has_issues":true}},"sponsorable":false,"topics":["math","mathematics","verfication","metamath"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":55,"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%253Amountain%252Fmmtk%2B%2Blanguage%253AClojure","metadata":null,"csrf_tokens":{"/mountain/mmtk/star":{"post":"wR8d5XNCtqXMandX5-WoxStmquC-GIhXkbpW7zUW7HFasXeC00x85e2i-lf7f9EumGocA3Q96V8qwQeTxZ51fQ"},"/mountain/mmtk/unstar":{"post":"kyFPntwK3_AGom3h7vxZVs8LWiJR36USTIFHTKumKbEgfRl_1PfMNXxD6Z01uOZvJT4CmnDkNQNwjAFua6DOlQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"O2Ac2gmAlub5A7kHlO3Mr1EMWwL-aHctvEkf2nyxOhskXsIZLYr1yt4R7FBJSwUgKCXLOxj5j-BKlk-PAfIRXg"}}},"title":"Repository search results"}