[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KNDD25YW20CNN51R2PC8E4":3,"skill-same:01M6KNDD25YW20CNN51R2PC8E4":70},{"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":48,"commitSha":49,"skillDirectory":50,"forksCount":51,"repositoryHtmlUrl":52,"repositoryHomepageUrl":6,"ownerHtmlUrl":53,"ownerBlogUrl":54,"ownerDescription":6,"updatedAt":55,"install":56,"resources":69},"01M6KNDD25YW20CNN51R2PC8E4","speckit-git-remote",null,"Detect Git remote URL for GitHub integration","AI-native-Systems-Research\u002Fai-native-storage-certus","AI-native-Systems-Research","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F270755458?v=4","01M6KKQWSJX0D4X33E0KKSR4WM","AI-native Systems Research","01M6KKQWXTKR6MYVQMPKVJ5WD5",3,"Apache-2.0","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-git-remote\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38],"git","remote","speckit","speckit git remote","project","for","kit","URL","with","spec-kit","detect","commands","directory","structure","github integration","specify","integration","project structure","github","spec","2026-11-10 10:12:30",false,"---\nname: speckit-git-remote\ndescription: Detect Git remote URL for GitHub integration\ncompatibility: Requires spec-kit project structure with .specify\u002F directory\nmetadata:\n  author: github-spec-kit\n  source: git:commands\u002Fspeckit.git.remote.md\n---\n\n# Detect Git Remote URL\n\nDetect the Git remote URL for integration with GitHub services (e.g., issue creation).\n\n## Prerequisites\n\n- Check if Git is available by running `git rev-parse --is-inside-work-tree 2>\u002Fdev\u002Fnull`\n- If Git is not available, output a warning and return empty:\n  ```\n  [specify] Warning: Git repository not detected; cannot determine remote URL\n  ```\n\n## Execution\n\nRun the following command to get the remote URL:\n\n```bash\ngit config --get remote.origin.url\n```\n\n## Output\n\nParse the remote URL and determine:\n\n1. **Repository owner**: Extract from the URL (e.g., `github` from `https:\u002F\u002Fgithub.com\u002Fgithub\u002Fspec-kit.git`)\n2. **Repository name**: Extract from the URL (e.g., `spec-kit` from `https:\u002F\u002Fgithub.com\u002Fgithub\u002Fspec-kit.git`)\n3. **Is GitHub**: Whether the remote points to a GitHub repository\n\nSupported URL formats:\n- HTTPS: `https:\u002F\u002Fgithub.com\u002F\u003Cowner>\u002F\u003Crepo>.git`\n- SSH: `git@github.com:\u003Cowner>\u002F\u003Crepo>.git`\n\n> [!CAUTION]\n> ONLY report a GitHub repository if the remote URL actually points to github.com.\n> Do NOT assume the remote is GitHub if the URL format doesn't match.\n\n## Graceful Degradation\n\nIf Git is not installed, the directory is not a Git repository, or no remote is configured:\n- Return an empty result\n- Do NOT error — other workflows should continue without Git remote information","# Detect Git Remote URL\n\nDetect the Git remote URL for integration with GitHub services (e.g., issue creation).\n\n## Prerequisites\n\n- Check if Git is available by running `git rev-parse --is-inside-work-tree 2>\u002Fdev\u002Fnull`\n- If Git is not available, output a warning and return empty:\n  ```\n  [specify] Warning: Git repository not detected; cannot determine remote URL\n  ```\n\n## Execution\n\nRun the following command to get the remote URL:\n\n```bash\ngit config --get remote.origin.url\n```\n\n## Output\n\nParse the remote URL and determine:\n\n1. **Repository owner**: Extract from the URL (e.g., `github` from `https:\u002F\u002Fgithub.com\u002Fgithub\u002Fspec-kit.git`)\n2. **Repository name**: Extract from the URL (e.g., `spec-kit` from `https:\u002F\u002Fgithub.com\u002Fgithub\u002Fspec-kit.git`)\n3. **Is GitHub**: Whether the remote points to a GitHub repository\n\nSupported URL formats:\n- HTTPS: `https:\u002F\u002Fgithub.com\u002F\u003Cowner>\u002F\u003Crepo>.git`\n- SSH: `git@github.com:\u003Cowner>\u002F\u003Crepo>.git`\n\n> [!CAUTION]\n> ONLY report a GitHub repository if the remote URL actually points to github.com.\n> Do NOT assume the remote is GitHub if the URL format doesn't match.\n\n## Graceful Degradation\n\nIf Git is not installed, the directory is not a Git repository, or no remote is configured:\n- Return an empty result\n- Do NOT error — other workflows should continue without Git remote information",{"name":5,"metadata":44,"description":7,"compatibility":47},{"author":45,"source":46},"github-spec-kit","git:commands\u002Fspeckit.git.remote.md","Requires spec-kit project structure with .specify\u002F directory","unstable","dc564aa356769b7754391c9fa4fdaa0f179f476c","components\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-git-remote",4,"https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research","https:\u002F\u002Fai-native-systems-research.github.io\u002Fai-native-systems-research\u002F","2026-11-12 06:08:32",{"source":8,"skillName":5,"commands":57,"prompt":67,"zipAvailable":68},[58,61,64],{"tool":59,"command":60},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-remote",{"tool":62,"command":63},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-remote",{"tool":65,"command":66},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-remote","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-git-remote\u002FSKILL.md",true,[],[71,89,104,115,130,142],{"skillNo":72,"name":73,"nameZh":6,"description":74,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":75,"categories":76,"keywords":77,"publishedAt":39},"01M6KP29TWSNGADF3AJ47BR7TY","tools-spin-sync","Synchronize Spin\u002FPromela models with current source code and re-verify","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-sync\u002FSKILL.md",[],[78,79,80,81,82,83,84,85,27,86,87,88],"tools spin sync","Tools","sync","code","verify","model","models","name","re","source","source code",{"skillNo":90,"name":91,"nameZh":6,"description":92,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":93,"categories":94,"keywords":95,"publishedAt":39},"01M6KP277TDY3ZAJEBP5P6MDT8","tools-spin-model","Create a new Spin\u002FPromela formal verification model for a system property","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-model\u002FSKILL.md",[],[96,83,79,97,98,99,24,100,101,102,103],"tools spin model","system","formal verification","number","prove","new","create","verification",{"skillNo":105,"name":106,"nameZh":6,"description":107,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":108,"categories":109,"keywords":110,"publishedAt":39},"01M6KP250W406CEDSF02BRXT9D","tools-creusot-install","Install the Creusot Rust verification tool","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-install\u002FSKILL.md",[],[111,112,79,113,103,114],"tools creusot install","install","rust","tool",{"skillNo":116,"name":117,"nameZh":6,"description":118,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":119,"categories":120,"keywords":121,"publishedAt":39},"01M6KP22H28FQ1X0V7VJHEFWXD","tools-creusot-init","Prepare an existing Cargo project to use Creusot formal verification","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[],[122,79,123,23,31,124,125,103,126,98,127,128,129],"tools creusot init","init","components","prepare","use","cargo","manager","Existing",{"skillNo":131,"name":132,"nameZh":6,"description":133,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":134,"categories":135,"keywords":136,"publishedAt":39},"01M6KP1V506J9YM8DKKVDG1NRE","tools-creusot-coq-install","Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install\u002FSKILL.md",[],[137,138,112,79,24,129,139,140,103,141],"tools creusot coq install","Coq","as","installation","add",{"skillNo":143,"name":144,"nameZh":6,"description":145,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":146,"categories":147,"keywords":148,"publishedAt":39},"01M6KP1PQJF3H765TYZAZ7P3EF","tools-creusot-annotate-interfaces","Formally verify a component's properties with Creusot and annotate its interface definitions","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-annotate-interfaces\u002FSKILL.md",[],[79,149,150,27,85,151,82,152,153],"tools creusot annotate interfaces","annotate","properties","component","interface"]