[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6D9VFNTM2894A0RZP58Z5XF":3,"skill-same:01M6D9VFNTM2894A0RZP58Z5XF":64},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":15,"categories":16,"keywords":17,"publishedAt":26,"linkOnly":27,"markdownContent":28,"markdownBody":29,"frontMatter":30,"refName":31,"commitSha":32,"skillDirectory":33,"forksCount":13,"repositoryHtmlUrl":34,"repositoryHomepageUrl":35,"ownerHtmlUrl":36,"ownerBlogUrl":6,"ownerDescription":6,"updatedAt":37,"install":38,"resources":51},"01M6D9VFNTM2894A0RZP58Z5XF","upload-parity-experiments",null,"Create or reuse Hugging Face dataset PRs for `harborframework\u002Fparity-experiments` and upload Harbor parity\u002Foracle result folders efficiently with sparse checkout, raw git pushes, and Git LFS.","PGCodeLLM\u002Fharbor","PGCodeLLM","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F195791236?v=4","01M6D9TVQRJDRVYVFYGFS1Q7HQ","01M6D9TVW86XTGX60XE4CR6RBT",0,"Apache-2.0","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fupload-parity-experiments\u002FSKILL.md",[],[18,19,20,21,22,23,24,25],"experiments","upload","upload parity experiments","oracle","create","git","harbor","hugging face","2026-11-10 10:12:30",false,"---\nname: upload-parity-experiments\ndescription: Create or reuse Hugging Face dataset PRs for `harborframework\u002Fparity-experiments` and upload Harbor parity\u002Foracle result folders efficiently with sparse checkout, raw git pushes, and Git LFS.\n---\n\n# Upload Parity Experiments\n\nUse this skill to publish Harbor parity experiment outputs to the shared Hugging Face dataset and capture the resulting discussion URL for the adapter's `parity_pr` field.\n\n## Why This Skill Exists\n\n- `hf upload-large-folder` can be slow or unreliable for large parity bundles because it pushes through the Hub API commit loop.\n- A normal git clone of `harborframework\u002Fparity-experiments` is too expensive because the dataset is very large.\n- Hugging Face dataset PR refs are different from GitHub PR refs and are easy to misuse.\n- Files larger than 10 MiB must be Git LFS-tracked before pushing.\n\nThis skill avoids the full clone by fetching only the target PR ref with `--depth 1 --filter=blob:none` and checking out only the paths needed for the current adapter.\n\n## Prereqs\n\n- Ensure Hugging Face authentication is available with discussion-write permission. Either a classic `write` token or a fine-grained token with global `discussion.write` enabled at \u003Chttps:\u002F\u002Fhuggingface.co\u002Fsettings\u002Ftokens>. A read-only or narrowly-scoped token will cause `create_pr.py` to fail with HTTP 403.\n- Keep the target dataset fixed to `harborframework\u002Fparity-experiments` unless the user explicitly asks for another repo.\n- Accept any local upload source that already contains the final files the user wants to publish.\n\n## Preferred Workflow\n\n1. Create or reuse a dataset PR.\n2. Prepare a sparse local worktree for that PR ref.\n3. Copy the local parity results into the sparse checkout.\n4. Ensure every file larger than 10 MiB is Git LFS-tracked before committing.\n5. Push directly to the PR ref with raw `git push`.\n6. Share the discussion URL and record it as the adapter's `parity_pr`.\n\nFor large parity bundles, prefer raw git over `hf upload-large-folder`. The raw git path is materially faster and more reliable because it avoids the API-side commit loop and does not require cloning the entire parity dataset.\n\n## 1. Create Or Reuse A Dataset PR\n\nIf the user already has a parity PR number, reuse it.\n\nOtherwise, create one with the bundled helper:\n\n```bash\nuv run python scripts\u002Fcreate_pr.py create-pr \\\n  --title \"Add parity experiments for \u003Cadapter_name>\" \\\n  --description-file \u002Fpath\u002Fto\u002Fpr-description.md\n```\n\nThe script prints JSON including:\n\n- `pr_number`\n- `discussion_url`\n- `repo_id`\n\n## 2. Prepare A Sparse PR Checkout\n\n```bash\nmkdir -p \u002Ftmp\u002Fparity-experiments-pr\u003Cnumber>\ncd \u002Ftmp\u002Fparity-experiments-pr\u003Cnumber>\n\ngit init\ngit remote add origin git@hf.co:datasets\u002Fharborframework\u002Fparity-experiments\ngit config core.sparseCheckout true\ngit sparse-checkout init --cone\ngit sparse-checkout set adapters\u002F\u003Cadapter_name>\n\ngit fetch --depth 1 --filter=blob:none origin refs\u002Fpr\u002F\u003Cnumber>:pr\u002F\u003Cnumber>\ngit checkout pr\u002F\u003Cnumber>\n```\n\nThis fetches only the PR ref and the requested paths instead of cloning the full dataset repo.\n\n## 3. Copy The Local Results\n\nIf the local folder already contains the final repo-root layout, copy it as-is.\n\nIf the local folder only contains the adapter subtree, copy it into `adapters\u002F\u003Cadapter_name>\u002F`:\n\n```bash\nrsync -a --delete \\\n  --exclude '.git' \\\n  --exclude '.cache' \\\n  --exclude '.DS_Store' \\\n  \u002Fpath\u002Fto\u002Flocal-folder\u002F \\\n  adapters\u002F\u003Cadapter_name>\u002F\n```\n\n## 4. Ensure Large Files Use Git LFS\n\nThe repo-root `.gitattributes` already LFS-tracks common binary, model, archive, and media extensions (`*.bin`, `*.parquet`, `*.safetensors`, images, audio, video, `*.log`, `*.txt`, etc.). Most parity outputs are covered automatically and need no manual action. Scan the sparse checkout for files larger than 10 MiB to catch anything that slipped through:\n\n```bash\npython - \u003C\u003C'PY'\nfrom pathlib import Path\n\nfor path in sorted(Path(\".\").rglob(\"*\")):\n    if path.is_file() and \".git\" not in path.parts and path.stat().st_size > 10 * 1024 * 1024:\n        print(path)\nPY\n```\n\nIf any file is flagged and is not already covered by root, write the LFS rule to `adapters\u002F\u003Cadapter_name>\u002F.gitattributes` — never to the repo-root `.gitattributes`, which is a shared merge-conflict hotspot. Run `git lfs track` inside the adapter directory so the rule is written with a relative pattern:\n\n```bash\n(cd adapters\u002F\u003Cadapter_name> && git lfs track \"\u003Cpattern>\")\ngit add adapters\u002F\u003Cadapter_name>\u002F.gitattributes\n```\n\nGit LFS honors nested `.gitattributes` files, so rules added this way apply only to that adapter and never collide with other in-flight parity PRs.\n\n## 5. Commit And Push\n\n```bash\nfind . -name .DS_Store -delete\ngit add adapters\u002F\u003Cadapter_name>\ngit commit -m \"Add parity experiment artifacts for \u003Cadapter_name>\"\nGIT_SSH_COMMAND='ssh -o ServerAliveInterval=30 -o ServerAliveCountMax=10' \\\n  git push origin pr\u002F\u003Cnumber>:refs\u002Fpr\u002F\u003Cnumber>\n```\n\n## 6. Record The Discussion URL\n\nUse this discussion URL in `parity_experiment.json`:\n\n```text\nhttps:\u002F\u002Fhuggingface.co\u002Fdatasets\u002Fharborframework\u002Fparity-experiments\u002Fdiscussions\u002F\u003Cnumber>\n```\n\n## Monitoring And Retry\n\nWhen raw `git push` is running, check the live output first. Large pushes often spend a long time in:\n\n- `git-lfs pre-push`\n- single-object LFS uploads\n- packfile compression\n\nUseful checks:\n\n```bash\ngit ls-remote git@hf.co:datasets\u002Fharborframework\u002Fparity-experiments refs\u002Fpr\u002F\u003Cnumber>\n```\n\n```bash\nps -p \u003Cpid> -o pid=,etime=,command=\n```\n\nIf the push exits early:\n\n- rerun the exact same `git push` command first\n- if Hugging Face rejects a file larger than 10 MiB, add the needed `git lfs track` rules, re-add the file, and retry\n- if the connection broke mid-push, rerun the same push command before changing anything else\n\n## Fallback\n\nUse `hf upload-large-folder` only as a fallback when raw git is unavailable or the user explicitly asks for it.\n\nYou can still create the PR with the bundled helper and upload to the PR revision:\n\n```bash\nhf upload-large-folder harborframework\u002Fparity-experiments \\\n  \u003Clocal-folder> \\\n  --repo-type dataset \\\n  --revision refs\u002Fpr\u002F\u003Cpr-number> \\\n  --exclude \".DS_Store\" \\\n  --exclude \"**\u002F.DS_Store\" \\\n  --num-workers 8\n```\n\n## Guardrails\n\n- Do not upload the Harbor repo itself by accident. Upload only the intended local results folder.\n- Do not fall back to a full clone of `harborframework\u002Fparity-experiments`.\n- Do not modify the repo-root `.gitattributes`. Put any adapter-specific LFS rules in `adapters\u002F\u003Cadapter_name>\u002F.gitattributes` instead.\n- Always remove or exclude `.DS_Store`.\n- Before pushing, make sure every file larger than 10 MiB is LFS-tracked.\n- If the user already has a parity PR number, reuse it instead of creating another one.\n","# Upload Parity Experiments\n\nUse this skill to publish Harbor parity experiment outputs to the shared Hugging Face dataset and capture the resulting discussion URL for the adapter's `parity_pr` field.\n\n## Why This Skill Exists\n\n- `hf upload-large-folder` can be slow or unreliable for large parity bundles because it pushes through the Hub API commit loop.\n- A normal git clone of `harborframework\u002Fparity-experiments` is too expensive because the dataset is very large.\n- Hugging Face dataset PR refs are different from GitHub PR refs and are easy to misuse.\n- Files larger than 10 MiB must be Git LFS-tracked before pushing.\n\nThis skill avoids the full clone by fetching only the target PR ref with `--depth 1 --filter=blob:none` and checking out only the paths needed for the current adapter.\n\n## Prereqs\n\n- Ensure Hugging Face authentication is available with discussion-write permission. Either a classic `write` token or a fine-grained token with global `discussion.write` enabled at \u003Chttps:\u002F\u002Fhuggingface.co\u002Fsettings\u002Ftokens>. A read-only or narrowly-scoped token will cause `create_pr.py` to fail with HTTP 403.\n- Keep the target dataset fixed to `harborframework\u002Fparity-experiments` unless the user explicitly asks for another repo.\n- Accept any local upload source that already contains the final files the user wants to publish.\n\n## Preferred Workflow\n\n1. Create or reuse a dataset PR.\n2. Prepare a sparse local worktree for that PR ref.\n3. Copy the local parity results into the sparse checkout.\n4. Ensure every file larger than 10 MiB is Git LFS-tracked before committing.\n5. Push directly to the PR ref with raw `git push`.\n6. Share the discussion URL and record it as the adapter's `parity_pr`.\n\nFor large parity bundles, prefer raw git over `hf upload-large-folder`. The raw git path is materially faster and more reliable because it avoids the API-side commit loop and does not require cloning the entire parity dataset.\n\n## 1. Create Or Reuse A Dataset PR\n\nIf the user already has a parity PR number, reuse it.\n\nOtherwise, create one with the bundled helper:\n\n```bash\nuv run python scripts\u002Fcreate_pr.py create-pr \\\n  --title \"Add parity experiments for \u003Cadapter_name>\" \\\n  --description-file \u002Fpath\u002Fto\u002Fpr-description.md\n```\n\nThe script prints JSON including:\n\n- `pr_number`\n- `discussion_url`\n- `repo_id`\n\n## 2. Prepare A Sparse PR Checkout\n\n```bash\nmkdir -p \u002Ftmp\u002Fparity-experiments-pr\u003Cnumber>\ncd \u002Ftmp\u002Fparity-experiments-pr\u003Cnumber>\n\ngit init\ngit remote add origin git@hf.co:datasets\u002Fharborframework\u002Fparity-experiments\ngit config core.sparseCheckout true\ngit sparse-checkout init --cone\ngit sparse-checkout set adapters\u002F\u003Cadapter_name>\n\ngit fetch --depth 1 --filter=blob:none origin refs\u002Fpr\u002F\u003Cnumber>:pr\u002F\u003Cnumber>\ngit checkout pr\u002F\u003Cnumber>\n```\n\nThis fetches only the PR ref and the requested paths instead of cloning the full dataset repo.\n\n## 3. Copy The Local Results\n\nIf the local folder already contains the final repo-root layout, copy it as-is.\n\nIf the local folder only contains the adapter subtree, copy it into `adapters\u002F\u003Cadapter_name>\u002F`:\n\n```bash\nrsync -a --delete \\\n  --exclude '.git' \\\n  --exclude '.cache' \\\n  --exclude '.DS_Store' \\\n  \u002Fpath\u002Fto\u002Flocal-folder\u002F \\\n  adapters\u002F\u003Cadapter_name>\u002F\n```\n\n## 4. Ensure Large Files Use Git LFS\n\nThe repo-root `.gitattributes` already LFS-tracks common binary, model, archive, and media extensions (`*.bin`, `*.parquet`, `*.safetensors`, images, audio, video, `*.log`, `*.txt`, etc.). Most parity outputs are covered automatically and need no manual action. Scan the sparse checkout for files larger than 10 MiB to catch anything that slipped through:\n\n```bash\npython - \u003C\u003C'PY'\nfrom pathlib import Path\n\nfor path in sorted(Path(\".\").rglob(\"*\")):\n    if path.is_file() and \".git\" not in path.parts and path.stat().st_size > 10 * 1024 * 1024:\n        print(path)\nPY\n```\n\nIf any file is flagged and is not already covered by root, write the LFS rule to `adapters\u002F\u003Cadapter_name>\u002F.gitattributes` — never to the repo-root `.gitattributes`, which is a shared merge-conflict hotspot. Run `git lfs track` inside the adapter directory so the rule is written with a relative pattern:\n\n```bash\n(cd adapters\u002F\u003Cadapter_name> && git lfs track \"\u003Cpattern>\")\ngit add adapters\u002F\u003Cadapter_name>\u002F.gitattributes\n```\n\nGit LFS honors nested `.gitattributes` files, so rules added this way apply only to that adapter and never collide with other in-flight parity PRs.\n\n## 5. Commit And Push\n\n```bash\nfind . -name .DS_Store -delete\ngit add adapters\u002F\u003Cadapter_name>\ngit commit -m \"Add parity experiment artifacts for \u003Cadapter_name>\"\nGIT_SSH_COMMAND='ssh -o ServerAliveInterval=30 -o ServerAliveCountMax=10' \\\n  git push origin pr\u002F\u003Cnumber>:refs\u002Fpr\u002F\u003Cnumber>\n```\n\n## 6. Record The Discussion URL\n\nUse this discussion URL in `parity_experiment.json`:\n\n```text\nhttps:\u002F\u002Fhuggingface.co\u002Fdatasets\u002Fharborframework\u002Fparity-experiments\u002Fdiscussions\u002F\u003Cnumber>\n```\n\n## Monitoring And Retry\n\nWhen raw `git push` is running, check the live output first. Large pushes often spend a long time in:\n\n- `git-lfs pre-push`\n- single-object LFS uploads\n- packfile compression\n\nUseful checks:\n\n```bash\ngit ls-remote git@hf.co:datasets\u002Fharborframework\u002Fparity-experiments refs\u002Fpr\u002F\u003Cnumber>\n```\n\n```bash\nps -p \u003Cpid> -o pid=,etime=,command=\n```\n\nIf the push exits early:\n\n- rerun the exact same `git push` command first\n- if Hugging Face rejects a file larger than 10 MiB, add the needed `git lfs track` rules, re-add the file, and retry\n- if the connection broke mid-push, rerun the same push command before changing anything else\n\n## Fallback\n\nUse `hf upload-large-folder` only as a fallback when raw git is unavailable or the user explicitly asks for it.\n\nYou can still create the PR with the bundled helper and upload to the PR revision:\n\n```bash\nhf upload-large-folder harborframework\u002Fparity-experiments \\\n  \u003Clocal-folder> \\\n  --repo-type dataset \\\n  --revision refs\u002Fpr\u002F\u003Cpr-number> \\\n  --exclude \".DS_Store\" \\\n  --exclude \"**\u002F.DS_Store\" \\\n  --num-workers 8\n```\n\n## Guardrails\n\n- Do not upload the Harbor repo itself by accident. Upload only the intended local results folder.\n- Do not fall back to a full clone of `harborframework\u002Fparity-experiments`.\n- Do not modify the repo-root `.gitattributes`. Put any adapter-specific LFS rules in `adapters\u002F\u003Cadapter_name>\u002F.gitattributes` instead.\n- Always remove or exclude `.DS_Store`.\n- Before pushing, make sure every file larger than 10 MiB is LFS-tracked.\n- If the user already has a parity PR number, reuse it instead of creating another one.\n",{"name":5,"description":7},"main","de2f043d9ffb2aa523e1494d4e00d0bfdce7afb8","skills\u002Fupload-parity-experiments","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor","https:\u002F\u002Fharborframework.com\u002F","https:\u002F\u002Fgithub.com\u002FPGCodeLLM","2026-11-12 12:30:06",{"source":8,"skillName":5,"commands":39,"prompt":49,"zipAvailable":50},[40,43,46],{"tool":41,"command":42},"npx","npx skills add PGCodeLLM\u002Fharbor --skill upload-parity-experiments",{"tool":44,"command":45},"bunx","bunx skills add PGCodeLLM\u002Fharbor --skill upload-parity-experiments",{"tool":47,"command":48},"pnpm","pnpm dlx skills add PGCodeLLM\u002Fharbor --skill upload-parity-experiments","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fupload-parity-experiments\u002FSKILL.md",true,[52,58],{"path":53,"resourceType":54,"resourceTypeDesc":55,"sizeBytes":56,"sourceHtmlUrl":57},"agents\u002Fopenai.yaml","REFERENCE","参考文档",82,"https:\u002F\u002Fgithub.com\u002Fnexuslinkproductions\u002Fyuri-os\u002Fblob\u002Fmain\u002F.agents\u002Fskills\u002Fcyber-performing-active-directory-penetration-test\u002Fagents\u002Fopenai.yaml",{"path":59,"resourceType":60,"resourceTypeDesc":61,"sizeBytes":62,"sourceHtmlUrl":63},"scripts\u002Fcreate_pr.py","SCRIPT","脚本",2171,"https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fupload-parity-experiments\u002Fscripts\u002Fcreate_pr.py",[65,81,94,113,132,144],{"skillNo":66,"name":67,"nameZh":6,"description":68,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":69,"categories":70,"keywords":71,"publishedAt":26},"01M6D9VD3NATFN5G8V1G8CZV0M","rewardkit","Write Harbor task verifiers using Reward Kit. Use when creating or editing a task's tests\u002F directory, adding grading criteria, setting up LLM\u002Fagent judges, or designing verifiers that produce a reward score.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Frewardkit\u002FSKILL.md",[],[67,72,73,24,74,75,76,77,78,79,80],"directory","produce","editing","write","use","up","task","grading","tests",{"skillNo":82,"name":83,"nameZh":6,"description":84,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":85,"categories":86,"keywords":87,"publishedAt":26},"01M6D9VAQVR2RH68F2AZ0FFZE0","publish","Publish a Harbor task or dataset to the registry. Use when the user wants to upload, publish, or share tasks or datasets\u002Fbenchmarks on the Harbor registry.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fpublish\u002FSKILL.md",[],[83,76,88,24,89,90,91,92,93,78,19],"user","share","registry","tasks","datasets","benchmarks",{"skillNo":95,"name":96,"nameZh":6,"description":97,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":98,"categories":99,"keywords":100,"publishedAt":26},"01M6D9V6ZD67WGARQ2296KR5SC","create-task","Create a new Harbor task for evaluating agents. Use when the user wants to scaffold, build, or design a new task, benchmark problem, or eval. Guides through instruction writing, environment setup, verifier design (pytest vs Reward Kit vs custom), and solution scripting.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fcreate-task\u002FSKILL.md",[],[78,101,22,102,103,104,24,76,105,106,107,108,109,110,111,88,112],"create task","pytest","verifier","build","design","writing","scaffold","setup","benchmark","scripting","eval","environment",{"skillNo":114,"name":115,"nameZh":6,"description":116,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":117,"categories":118,"keywords":124,"publishedAt":26},"01M6D9V3YNRP4W6494DKGGM9CH","create-adapter","Scaffold a new Harbor benchmark adapter by running `harbor adapter init` and then guide implementation using the Adapters Agent Guide as the authoritative spec.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fskills\u002Fcreate-adapter\u002FSKILL.md",[119],{"categoryNo":120,"categoryName":121,"taxonomyType":122,"taxonomyTypeDesc":123},"01JBSEEDCAT000000000000023","Skill与智能体开发","SCENARIO","使用场景",[125,22,126,127,128,107,109,24,129,130,131],"create adapter","agent guide","spec","init","guide","implementation","as",{"skillNo":133,"name":134,"nameZh":6,"description":135,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":136,"categories":137,"keywords":138,"publishedAt":26},"01M6D9V1QS0V21GX1W7M5KNG1Z","generate-greeting","Generate a greeting message and write it to a file.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fexamples\u002Ftasks\u002Fhello-skills\u002Fenvironment\u002Fskills\u002Fgenerate-greeting\u002FSKILL.md",[],[139,140,141,142,75,143],"generate","greeting","generate greeting","file","message",{"skillNo":145,"name":146,"nameZh":6,"description":147,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":148,"categories":149,"keywords":150,"publishedAt":26},"01M6D9V08N633ABGSN808D0A0T","runtime-proof","Write the proof file for the Harbor runtime skill injection example.","https:\u002F\u002Fgithub.com\u002FPGCodeLLM\u002Fharbor\u002Fblob\u002Fmain\u002Fexamples\u002Fjobs\u002Fskills-merge\u002Fskills\u002Fruntime-proof\u002FSKILL.md",[],[151,152,153,24,75,154,142],"runtime","runtime proof","injection","example"]