[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M71RVYA101VVX3CKR2HZHBT3":3,"skill-same:01M71RVYA101VVX3CKR2HZHBT3":67},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":16,"categories":17,"keywords":18,"publishedAt":39,"linkOnly":40,"markdownContent":41,"markdownBody":42,"frontMatter":43,"refName":44,"commitSha":45,"skillDirectory":46,"forksCount":47,"repositoryHtmlUrl":48,"repositoryHomepageUrl":6,"ownerHtmlUrl":49,"ownerBlogUrl":50,"ownerDescription":51,"updatedAt":52,"install":53,"resources":66},"01M71RVYA101VVX3CKR2HZHBT3","run-math-proof-quickstart",null,"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.","scaling-group\u002Feve","scaling-group","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F181708022?v=4","01M71RTM8RQW6CX3M1934895JA","Scientific Computing and Intelligence Group","01M71RTM99S28ZTFK9BK17R4GC",66,"Apache-2.0","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Frun-math-proof-quickstart\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38],"quickstart","run math proof quickstart","math","run","proof","math proof","copy","launch","Evaluation","report","supervise","results","create","task","when","use","eve","local","problem","running","2026-11-10 13:02:02",false,"---\nname: run-math-proof-quickstart\ndescription: \"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.\"\n---\n\nRun this skill from the repository root. A Math Proof quickstart is a real local\nattempt to solve the user's problem, not a smoke test.\n\nDo not run Git commands as part of this skill. Do not `git add`, `git commit`,\n`git push`, `git checkout`, or `git stash`. Quickstart application configs use\n`application.path` so the runner can read local task files directly.\n\n## Create The Task Pipeline\n\n1. Choose a stable `\u003Ctask_slug>` using lowercase letters, digits, and\n   underscores. Derive `\u003Ctask_slug_hyphen>` by replacing underscores with\n   hyphens. For example, `infinitely_many_primes` becomes\n   `infinitely-many-primes`. Quickstart copies are intentionally local scratch\n   files, so place the task under `examples\u002Ftmp\u002F`.\n2. Refuse to overwrite an existing task unless the user explicitly asks. Check:\n\n```bash\ntest ! -e examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\n3. Copy the template task:\n\n```bash\ncp -R examples\u002Fmath_proof\u002F_quickstart examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\n4. Replace `examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\u002Fproblem\u002Fproblem.md` with the\n   user's problem. Keep `proof\u002F.gitkeep`.\n5. Check that the copied task files no longer contain template references:\n\n```bash\nrg \"math_proof_quickstart|math-proof-quickstart|examples\u002Fmath_proof\u002F_quickstart|\u003Ctask_slug>|\u003Ctitle>\" \\\n  examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\nAny remaining hit must be intentional. Fix stale template references before\nlaunch. This generated quickstart task path is ignored by git.\n\n## Launch\n\nRun the quickstart config with task-specific overrides:\n\n```bash\nuv run python -m scaling_evolve.algorithms.eve.runner \\\n  --config-name=math_proof_quickstart \\\n  application.name=math-proof-\u003Ctask_slug_hyphen> \\\n  application.path=examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug> \\\n  label=math-proof-\u003Ctask_slug_hyphen>\n```\n\n## Supervise And Report\n\nAfter launch, supervise the live run with `supervise-run` skill. Use\n`inspect-population` skill to read the completed population, evolved proof\nfiles, and score artifacts.\n\nFor the final quickstart report, include:\n\n- config name and exact launch command;\n- run root;\n- completed iteration count;\n- whether the run completed, stalled, failed, or was interrupted;\n- best candidate proof paths under `solver_workspaces\u002F*\u002Fsolver\u002Fproof\u002F`;\n- raw evaluation dimensions from score artifacts;\n- evaluator, runner, boundary, or repair failure summaries;\n- any useful next action, such as resume the same run or inspect a specific\n  candidate proof.\n\nDo not invent a scalar score for Math Proof. Preserve the vector dimensions and\nstate any presentation ordering as an operator view, not a stored score.\n","Run this skill from the repository root. A Math Proof quickstart is a real local\nattempt to solve the user's problem, not a smoke test.\n\nDo not run Git commands as part of this skill. Do not `git add`, `git commit`,\n`git push`, `git checkout`, or `git stash`. Quickstart application configs use\n`application.path` so the runner can read local task files directly.\n\n## Create The Task Pipeline\n\n1. Choose a stable `\u003Ctask_slug>` using lowercase letters, digits, and\n   underscores. Derive `\u003Ctask_slug_hyphen>` by replacing underscores with\n   hyphens. For example, `infinitely_many_primes` becomes\n   `infinitely-many-primes`. Quickstart copies are intentionally local scratch\n   files, so place the task under `examples\u002Ftmp\u002F`.\n2. Refuse to overwrite an existing task unless the user explicitly asks. Check:\n\n```bash\ntest ! -e examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\n3. Copy the template task:\n\n```bash\ncp -R examples\u002Fmath_proof\u002F_quickstart examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\n4. Replace `examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\u002Fproblem\u002Fproblem.md` with the\n   user's problem. Keep `proof\u002F.gitkeep`.\n5. Check that the copied task files no longer contain template references:\n\n```bash\nrg \"math_proof_quickstart|math-proof-quickstart|examples\u002Fmath_proof\u002F_quickstart|\u003Ctask_slug>|\u003Ctitle>\" \\\n  examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug>\n```\n\nAny remaining hit must be intentional. Fix stale template references before\nlaunch. This generated quickstart task path is ignored by git.\n\n## Launch\n\nRun the quickstart config with task-specific overrides:\n\n```bash\nuv run python -m scaling_evolve.algorithms.eve.runner \\\n  --config-name=math_proof_quickstart \\\n  application.name=math-proof-\u003Ctask_slug_hyphen> \\\n  application.path=examples\u002Ftmp\u002Fmath_proof_\u003Ctask_slug> \\\n  label=math-proof-\u003Ctask_slug_hyphen>\n```\n\n## Supervise And Report\n\nAfter launch, supervise the live run with `supervise-run` skill. Use\n`inspect-population` skill to read the completed population, evolved proof\nfiles, and score artifacts.\n\nFor the final quickstart report, include:\n\n- config name and exact launch command;\n- run root;\n- completed iteration count;\n- whether the run completed, stalled, failed, or was interrupted;\n- best candidate proof paths under `solver_workspaces\u002F*\u002Fsolver\u002Fproof\u002F`;\n- raw evaluation dimensions from score artifacts;\n- evaluator, runner, boundary, or repair failure summaries;\n- any useful next action, such as resume the same run or inspect a specific\n  candidate proof.\n\nDo not invent a scalar score for Math Proof. Preserve the vector dimensions and\nstate any presentation ordering as an operator view, not a stored score.\n",{"name":5,"description":7},"main","979065fd2cf1b3be9caf70596478fe27df7815ad","docs\u002Fskills\u002Frun-math-proof-quickstart",9,"https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve","https:\u002F\u002Fgithub.com\u002Fscaling-group","https:\u002F\u002Fscaling-group.github.io\u002F","Department of Mathematics, National University of Singapore","2026-08-20 15:35:50",{"source":8,"skillName":5,"commands":54,"prompt":64,"zipAvailable":65},[55,58,61],{"tool":56,"command":57},"npx","npx skills add scaling-group\u002Feve --skill run-math-proof-quickstart",{"tool":59,"command":60},"bunx","bunx skills add scaling-group\u002Feve --skill run-math-proof-quickstart",{"tool":62,"command":63},"pnpm","pnpm dlx skills add scaling-group\u002Feve --skill run-math-proof-quickstart","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Frun-math-proof-quickstart\u002FSKILL.md",true,[],[68,92,109,120,136,150],{"skillNo":69,"name":70,"nameZh":6,"description":71,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":72,"categories":73,"keywords":84,"publishedAt":39},"01M71RW4VG8A6FFRGT7H41J16J","writing-skills","Use when creating new skills, editing existing skills, or verifying skills work before deployment","https:\u002F\u002Fgithub.com\u002Fscaling-group\u002Feve\u002Fblob\u002Fmain\u002Fdocs\u002Fskills\u002Fwriting-skills\u002FSKILL.md",[74,79],{"categoryNo":75,"categoryName":76,"taxonomyType":77,"taxonomyTypeDesc":78},"01JBSEEDCAT000000000000018","写作与文案","SCENARIO","使用场景",{"categoryNo":80,"categoryName":81,"taxonomyType":82,"taxonomyTypeDesc":83},"01JBSEEDCAT000000000000036","内容创作者","PROFESSION","适用职业",[85,86,87,88,33,89,34,90,91],"writing","writing skills","deployment","work","Existing","new","editing",{"skillNo":93,"name":94,"nameZh":6,"description":95,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":96,"categories":97,"keywords":101,"publishedAt":39},"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",[98],{"categoryNo":99,"categoryName":100,"taxonomyType":77,"taxonomyTypeDesc":78},"01JBSEEDCAT000000000000021","资料检索与研究",[102,103,104,34,105,30,106,107,108,23],"search","theorem search","dependencies","literature","verify","find","Mathematical",{"skillNo":110,"name":111,"nameZh":6,"description":112,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":113,"categories":114,"keywords":115,"publishedAt":39},"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",[],[116,29,22,38,35,34,33,117,118,119],"supervise run","monitoring","experiment","it",{"skillNo":121,"name":122,"nameZh":6,"description":123,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":124,"categories":125,"keywords":126,"publishedAt":39},"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",[],[127,128,22,129,130,131,132,133,134,35,34,135,33,32],"circle","packing","run circle packing smoke","smoke","fast","development","for","end","loop",{"skillNo":137,"name":138,"nameZh":6,"description":139,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":140,"categories":141,"keywords":145,"publishedAt":39},"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",[142],{"categoryNo":143,"categoryName":144,"taxonomyType":82,"taxonomyTypeDesc":83},"01JBSEEDCAT000000000000038","人力资源",[22,146,147,34,91,35,33,148,149,118,119],"resume","resume run","id","same",{"skillNo":151,"name":152,"nameZh":6,"description":153,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":154,"categories":155,"keywords":156,"publishedAt":39},"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",[],[157,102,133,34,158,105,30,107,159,160,108,161,162,163],"matlas search","standard","semantic search","canonical","semantic","metadata","Citation"]