[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-104167":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":14,"contributorsCount":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":16,"stars30d":16,"stars90d":15,"forks30d":15,"starsTrendScore":17,"compositeScore":18,"rankGlobal":10,"rankLanguage":10,"license":19,"archived":20,"fork":20,"defaultBranch":21,"hasWiki":20,"hasPages":20,"topics":22,"createdAt":10,"pushedAt":28,"updatedAt":29,"readmeContent":10,"aiSummary":10,"trendingCount":15,"starSnapshotCount":15,"syncStatus":30,"lastSyncTime":31,"discoverSource":32},104167,"oss-verify","theorem-labs\u002Foss-verify","theorem-labs","OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets","https:\u002F\u002Ftheorem.dev\u002Foss-verify\u002F",null,"Python",78,14,1,0,7,21,57.64,"Apache License 2.0",false,"main",[23,24,25,26,27],"formal-verification","fuzzing","oss-fuzz","riscv","rocq","2026-10-27 20:24:16","2026-10-27 20:24:23",2,"2026-10-28 04:26:36","CREATED_QUERY"]