[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-98480":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":15,"contributorsCount":13,"subscribersCount":13,"size":13,"stars1d":13,"stars7d":13,"stars30d":13,"stars90d":13,"forks30d":13,"starsTrendScore":13,"compositeScore":16,"rankGlobal":10,"rankLanguage":10,"license":17,"archived":18,"fork":18,"defaultBranch":19,"hasWiki":18,"hasPages":18,"topics":20,"createdAt":10,"pushedAt":31,"updatedAt":32,"readmeContent":10,"aiSummary":10,"trendingCount":13,"starSnapshotCount":13,"syncStatus":14,"lastSyncTime":33,"discoverSource":34},98480,"mathema","tetrionlabs\u002Fmathema","tetrionlabs","Claim-Driven Development: turn software intent into verifiable evidence.","https:\u002F\u002Fmathema.tetrionlabs.com",null,"Python",80,0,2,9,36,"Other",false,"main",[21,22,23,24,25,26,27,28,29,30],"ai-assisted-development","claim-driven-development","code-review","design-by-contract","mcp-server","property-based-testing","software-verification","spec-driven-development","system-0-engine","test-driven-development","2026-10-12 16:10:04","2026-10-12 18:21:01","2026-10-13 04:10:23","CREATED_QUERY"]