[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"org-paradigm":3,"repo-skills-v-0-3-0":38},{"org":4,"repos":25},{"slug":5,"name":6,"logoUrl":7,"githubOrg":8,"website":9,"skillCount":10,"repoCount":10,"topRepos":11,"topTags":14,"lastUpdatedAt":24},"paradigm","Paradigm","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Fparadigm.png","paradigmxyz","https:\u002F\u002Fwww.paradigm.xyz",1,[12],{"name":13,"skillCount":10},"paradigmxyz\u002Fsolidus",[15,18,21],{"slug":16,"name":17},"codex","Codex",{"slug":19,"name":20},"engineering","Engineering",{"slug":22,"name":23},"mathematics","Mathematics","2026-07-26T06:08:53.04782",[26],{"name":27,"fullName":13,"repoUrl":28,"skillCount":10,"stars":29,"forks":30,"description":31,"topics":32,"topTags":33,"topTagCount":37,"lastUpdatedAt":24},"solidus","https:\u002F\u002Fgithub.com\u002Fparadigmxyz\u002Fsolidus",22,11,"Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.",[],[34,35,36],{"slug":16,"name":17},{"slug":19,"name":20},{"slug":22,"name":23},3,{"items":39,"total":10},[40],{"slug":41,"name":41,"fn":42,"description":43,"org":44,"tags":45,"stars":29,"repoUrl":28,"updatedAt":24},"verifiable-compiler","build formally verified compilers in Lean","Use when the user wants Codex to build or make sustained progress on an end-to-end formally verified compiler in Lean.",{"slug":5,"name":6,"logoUrl":7,"githubOrg":8},[46,48,49],{"name":17,"slug":16,"type":47},"tag",{"name":20,"slug":19,"type":47},{"name":23,"slug":22,"type":47}]