[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"creator:01M71RTM8RQW6CX3M1934895JA":3,"creator-list:01M71RTM8RQW6CX3M1934895JA:stars:1:":21},{"accountNo":4,"login":5,"displayName":6,"avatarUrl":7,"accountType":8,"accountTypeDesc":9,"profileDescription":10,"skillCount":11,"repoCount":12,"professionCount":13,"scenarioCount":13,"totalStars":14,"updatedAt":15,"htmlUrl":16,"blogUrl":17,"company":18,"location":18,"followersCount":19,"publicReposCount":20},"01M71RTM8RQW6CX3M1934895JA","scaling-group","Scientific Computing and Intelligence Group","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F181708022?v=4","ORGANIZATION","组织","Department of Mathematics, National University of Singapore",27,1,3,66,"2026-08-20 15:35:50","https:\u002F\u002Fgithub.com\u002Fscaling-group","https:\u002F\u002Fscaling-group.github.io\u002F",null,14,10,{"records":22,"total":11,"current":12,"size":293},[23,53,72,87,106,122,136,150,162,178,189,198,210,230,255,269,280,287],{"skillNo":24,"name":25,"nameZh":18,"description":26,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":30,"categories":31,"keywords":42,"publishedAt":52},"01M71RW4VG8A6FFRGT7H41J16J","writing-skills","Use when creating new skills, editing existing skills, or verifying skills work before deployment","scaling-group\u002Feve","01M71RTM99S28ZTFK9BK17R4GC","Apache-2.0","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fwriting-skills\u002FSKILL.md",[32,37],{"categoryNo":33,"categoryName":34,"taxonomyType":35,"taxonomyTypeDesc":36},"01JBSEEDCAT000000000000018","写作与文案","SCENARIO","使用场景",{"categoryNo":38,"categoryName":39,"taxonomyType":40,"taxonomyTypeDesc":41},"01JBSEEDCAT000000000000036","内容创作者","PROFESSION","适用职业",[43,44,45,46,47,48,49,50,51],"writing","writing skills","editing","deployment","new","use","Existing","when","work","2026-11-10 13:02:02",{"skillNo":54,"name":55,"nameZh":18,"description":56,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":57,"categories":58,"keywords":62,"publishedAt":52},"01M71RW2PFRVWH24AP25T6AV4E","theorem-search","Use TheoremSearch to find, verify, and cite mathematical theorem statements, named results, proof routes, and literature dependencies.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Ftheorem-search\u002FSKILL.md",[59],{"categoryNo":60,"categoryName":61,"taxonomyType":35,"taxonomyTypeDesc":36},"01JBSEEDCAT000000000000021","资料检索与研究",[63,64,48,65,66,67,68,69,70,71],"search","theorem search","literature","results","verify","find","dependencies","proof","Mathematical",{"skillNo":73,"name":74,"nameZh":18,"description":75,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":76,"categories":77,"keywords":78,"publishedAt":52},"01M71RW0N0GQR9GW1B3HKBB800","supervise-run","Use when monitoring a running Eve experiment and recovering from problems while it runs","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fsupervise-run\u002FSKILL.md",[],[79,80,81,82,83,48,50,84,85,86],"supervise run","supervise","run","running","eve","monitoring","experiment","it",{"skillNo":88,"name":89,"nameZh":18,"description":90,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":91,"categories":92,"keywords":93,"publishedAt":52},"01M71RVYA101VVX3CKR2HZHBT3","run-math-proof-quickstart","Use when running a Math Proof quickstart from a user-provided problem: create a local task copy, launch a real EvE attempt, supervise it, and report proof\u002Fevaluation results.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Frun-math-proof-quickstart\u002FSKILL.md",[],[94,95,96,97,81,70,82,98,99,83,48,50,100,101,66,80,102,103,104,105],"math proof","quickstart","run math proof quickstart","math","problem","local","task","create","report","Evaluation","launch","copy",{"skillNo":107,"name":108,"nameZh":18,"description":109,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":110,"categories":111,"keywords":112,"publishedAt":52},"01M71RVWYKH6TF0WB6X57GMWJ2","run-circle-packing-smoke","Use when a fast end-to-end smoke run is needed for the Eve loop development, will run on circle packing task.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Frun-circle-packing-smoke\u002FSKILL.md",[],[113,114,81,115,116,117,118,119,83,48,120,50,100,121],"smoke","run circle packing smoke","packing","circle","development","for","end","loop","fast",{"skillNo":123,"name":124,"nameZh":18,"description":125,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":126,"categories":127,"keywords":131,"publishedAt":52},"01M71RVVCE1NEF4ZM405WX815Z","resume-run","Use when continuing an interrupted or paused Eve run from where it stopped (same run, same id), optionally after editing the experiment","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fresume-run\u002FSKILL.md",[128],{"categoryNo":129,"categoryName":130,"taxonomyType":40,"taxonomyTypeDesc":41},"01JBSEEDCAT000000000000038","人力资源",[132,133,81,45,83,48,50,134,135,85,86],"resume run","resume","id","same",{"skillNo":137,"name":138,"nameZh":18,"description":139,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":140,"categories":141,"keywords":142,"publishedAt":52},"01M71RVSM279Y6VCQV0ZWWTDR0","matlas-search","Use Matlas semantic search over published mathematical literature to find canonical statements, hypotheses, and citation metadata for standard or named results.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fmatlas-search\u002FSKILL.md",[],[63,143,118,48,144,65,66,68,145,146,71,147,148,149],"matlas search","standard","semantic search","canonical","semantic","metadata","Citation",{"skillNo":151,"name":152,"nameZh":18,"description":153,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":154,"categories":155,"keywords":156,"publishedAt":52},"01M71RVQK0X8XYENJS6TZHDHCF","inspect-population","Use when reading what an Eve run evolved — its best solvers\u002Foptimizers, their code, and how the population improved","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Finspect-population\u002FSKILL.md",[],[157,158,83,48,50,159,160,81,161],"inspect","inspect population","code","how","reading",{"skillNo":163,"name":164,"nameZh":18,"description":165,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":166,"categories":167,"keywords":168,"publishedAt":52},"01M71RVNJ6KP9P79CNJWVMZY28","import-run","Use when starting a new Eve run seeded from one or more prior runs, e.g. keep the good solvers but try a fresh optimizer","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fimport-run\u002FSKILL.md",[],[169,170,81,171,83,172,47,48,50,173,174,175,176,177],"import","import run","good","more","keep","one","optimizer","fresh","but",{"skillNo":179,"name":180,"nameZh":18,"description":181,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":182,"categories":183,"keywords":184,"publishedAt":52},"01M71RVKY6BT7Z4CPHPTRG1ZSW","implement-subagent","Use when implementing a subagent.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fimplement-subagent\u002FSKILL.md",[],[185,186,187,188,48,50],"implement subagent","subagent","implement","implementing",{"skillNo":190,"name":191,"nameZh":18,"description":192,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":193,"categories":194,"keywords":195,"publishedAt":52},"01M71RVJ4DZ0RDCV7FQG2VAJMQ","implement-evaluation-steps","Use when defining or updating Eve evaluation steps.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fimplement-evaluation-steps\u002FSKILL.md",[],[196,187,103,197,83,48,50],"implement evaluation steps","steps",{"skillNo":199,"name":200,"nameZh":18,"description":201,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":202,"categories":203,"keywords":204,"publishedAt":52},"01M71RVGSMT5WYWJPHXTF582FS","implement-check-subagent","Use when implementing a sanity check subagent for the phase 2 optimization in Eve loop.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fimplement-check-subagent\u002FSKILL.md",[],[205,186,187,206,118,207,188,83,48,120,50,208,209],"implement check subagent","check","Optimization","phase","sanity",{"skillNo":211,"name":212,"nameZh":18,"description":213,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":214,"categories":215,"keywords":216,"publishedAt":52},"01M71RVEH6VA138WFSDY6TG22S","delete-eve-run","Safely delete one or more local EvE run directories, including runs whose read-only files or directories make rm fail. Use when the user explicitly asks to remove run roots under .runs\u002Feve\u002F, or when rm reports Permission denied or Read-only file system while pruning an EvE run.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fdelete-eve-run\u002FSKILL.md",[],[217,83,218,81,219,220,221,222,223,99,172,224,225,48,50,226,174,227,228,229],"delete eve run","delete","denied","directories","read-only","remove","system","only","files","file","reports","rm","read",{"skillNo":231,"name":232,"nameZh":18,"description":233,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":234,"categories":235,"keywords":242,"publishedAt":52},"01M71RVCY0SAGWAVETZ3A3HES0","debug-agent-session","Use when an Eve agent is behaving wrong (stuck, gaming the score, bad reasoning) and you need to read its own rollout to find out why","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fdebug-agent-session\u002FSKILL.md",[236,239],{"categoryNo":237,"categoryName":238,"taxonomyType":35,"taxonomyTypeDesc":36},"01JBSEEDCAT000000000000023","Skill与智能体开发",{"categoryNo":240,"categoryName":241,"taxonomyType":40,"taxonomyTypeDesc":41},"01JBSEEDCAT000000000000030","开发工程师",[243,244,245,246,247,248,83,48,50,249,250,68,251,229,252,253,254],"debug agent session","session","debug","debug agent","agent session","bad","rollout","you","why","reasoning","gaming","Wrong",{"skillNo":256,"name":257,"nameZh":18,"description":258,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":259,"categories":260,"keywords":261,"publishedAt":52},"01M71RVAPNM059D6BQCYZNJEER","configure-eve-driver","Use when choosing, editing, or overriding EvE driver settings for Codex, OpenCode, or interactive\u002Fdebug runs.","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fconfigure-eve-driver\u002FSKILL.md",[],[262,83,263,264,118,45,48,245,50,265,266,267,268],"configure eve driver","configure","driver","interactive","codex","opencode","settings",{"skillNo":270,"name":271,"nameZh":18,"description":272,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":273,"categories":274,"keywords":277,"publishedAt":52},"01M71RV9C0R6473RMCGS24R4HM","writing-subagents","Use when creating new subagents, editing existing subagents, or verifying subagents work before deployment","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fconfigs\u002Feve\u002Foptimizer\u002Fmath_proof\u002Finitial_guidance\u002Fskills\u002Fwriting-subagents\u002FSKILL.md",[275,276],{"categoryNo":33,"categoryName":34,"taxonomyType":35,"taxonomyTypeDesc":36},{"categoryNo":38,"categoryName":39,"taxonomyType":40,"taxonomyTypeDesc":41},[278,43,279,45,46,47,48,49,50,51],"writing subagents","subagents",{"skillNo":281,"name":25,"nameZh":18,"description":26,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":282,"categories":283,"keywords":286,"publishedAt":52},"01M71RV84TZQ9975SEDMKEW0SD","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fconfigs\u002Feve\u002Foptimizer\u002Fmath_proof\u002Finitial_guidance\u002Fskills\u002Fwriting-skills\u002FSKILL.md",[284,285],{"categoryNo":33,"categoryName":34,"taxonomyType":35,"taxonomyTypeDesc":36},{"categoryNo":38,"categoryName":39,"taxonomyType":40,"taxonomyTypeDesc":41},[43,44,45,46,47,48,49,50,51],{"skillNo":288,"name":55,"nameZh":18,"description":56,"descriptionZh":18,"repositoryFullName":27,"ownerLogin":5,"ownerAvatarUrl":7,"ownerAccountNo":4,"ownerDisplayName":6,"repositoryNo":28,"starsCount":14,"licenseSpdxId":29,"licenseFileUrl":18,"sourceHtmlUrl":289,"categories":290,"keywords":292,"publishedAt":52},"01M71RV6KW2A2WEBE4MMTED5YS","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fconfigs\u002Feve\u002Foptimizer\u002Fmath_proof\u002Finitial_guidance\u002Fskills\u002Ftheorem-search\u002FSKILL.md",[291],{"categoryNo":60,"categoryName":61,"taxonomyType":35,"taxonomyTypeDesc":36},[63,64,48,65,66,67,68,69,70,71],18]