[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-103990":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":9,"language":10,"languages":9,"totalLinesOfCode":9,"stars":11,"forks":12,"watchers":13,"openIssues":14,"contributorsCount":14,"subscribersCount":14,"size":14,"stars1d":13,"stars7d":13,"stars30d":13,"stars90d":14,"forks30d":14,"starsTrendScore":15,"compositeScore":16,"rankGlobal":9,"rankLanguage":9,"license":17,"archived":18,"fork":18,"defaultBranch":19,"hasWiki":18,"hasPages":18,"topics":20,"createdAt":9,"pushedAt":21,"updatedAt":22,"readmeContent":9,"aiSummary":9,"trendingCount":14,"starSnapshotCount":14,"syncStatus":23,"lastSyncTime":24,"discoverSource":25},103990,"LeanAutoformalizationSkills","scottnarmstrong\u002FLeanAutoformalizationSkills","scottnarmstrong","Portable Lean 4 autoformalization skills for Codex and Claude Code",null,"Python",58,7,1,0,3,41.31,"Creative Commons Attribution 4.0 International",false,"main",[],"2026-10-25 03:57:24","2026-10-27 20:19:41",2,"2026-10-28 04:26:02","CREATED_QUERY"]