[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-104547":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":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":16,"stars30d":16,"stars90d":15,"forks30d":15,"starsTrendScore":17,"compositeScore":18,"rankGlobal":9,"rankLanguage":9,"license":19,"archived":20,"fork":20,"defaultBranch":21,"hasWiki":22,"hasPages":20,"topics":23,"createdAt":9,"pushedAt":24,"updatedAt":25,"readmeContent":9,"aiSummary":9,"trendingCount":15,"starSnapshotCount":15,"syncStatus":14,"lastSyncTime":26,"discoverSource":27},104547,"FVjobs","typetheoryforall\u002FFVjobs","typetheoryforall","A Job Board for Formal Verification",null,"Python",84,1,3,2,0,9,27,60.3,"MIT License",false,"main",true,[],"2026-10-28 12:41:50","2026-10-28 19:46:57","2026-10-29 04:25:21","CREATED_QUERY"]