[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KNXVXWKB4BY2JMXPB5ZN0T":3,"skill-same:01M6KNXVXWKB4BY2JMXPB5ZN0T":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":36,"linkOnly":37,"markdownContent":38,"markdownBody":39,"frontMatter":40,"refName":45,"commitSha":46,"skillDirectory":47,"forksCount":48,"repositoryHtmlUrl":49,"repositoryHomepageUrl":6,"ownerHtmlUrl":50,"ownerBlogUrl":51,"ownerDescription":6,"updatedAt":52,"install":53,"resources":66},"01M6KNXVXWKB4BY2JMXPB5ZN0T","speckit-git-initialize",null,"Initialize a Git repository with an initial commit","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\u002Fremote-lookup\u002F.claude\u002Fskills\u002Fspeckit-git-initialize\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35],"speckit","git","speckit git initialize","initialize","kit","directory","with","spec-kit","commands","project","structure","specify","repository","commit","project structure","github","spec","2026-11-10 10:12:30",false,"---\nname: speckit-git-initialize\ndescription: Initialize a Git repository with an initial commit\ncompatibility: Requires spec-kit project structure with .specify\u002F directory\nmetadata:\n  author: github-spec-kit\n  source: git:commands\u002Fspeckit.git.initialize.md\n---\n\n# Initialize Git Repository\n\nInitialize a Git repository in the current project directory if one does not already exist.\n\n## Execution\n\nRun the appropriate script from the project root:\n\n- **Bash**: `.specify\u002Fextensions\u002Fgit\u002Fscripts\u002Fbash\u002Finitialize-repo.sh`\n- **PowerShell**: `.specify\u002Fextensions\u002Fgit\u002Fscripts\u002Fpowershell\u002Finitialize-repo.ps1`\n\nIf the extension scripts are not found, fall back to:\n- **Bash**: `git init && git add . && git commit -m \"Initial commit from Specify template\"`\n- **PowerShell**: `git init; git add .; git commit -m \"Initial commit from Specify template\"`\n\nThe script handles all checks internally:\n- Skips if Git is not available\n- Skips if already inside a Git repository\n- Runs `git init`, `git add .`, and `git commit` with an initial commit message\n\n## Customization\n\nReplace the script to add project-specific Git initialization steps:\n- Custom `.gitignore` templates\n- Default branch naming (`git config init.defaultBranch`)\n- Git LFS setup\n- Git hooks installation\n- Commit signing configuration\n- Git Flow initialization\n\n## Output\n\nOn success:\n- `[OK] Git repository initialized`\n\n## Graceful Degradation\n\nIf Git is not installed:\n- Warn the user\n- Skip repository initialization\n- The project continues to function without Git (specs can still be created under `specs\u002F`)\n\nIf Git is installed but `git init`, `git add .`, or `git commit` fails:\n- Surface the error to the user\n- Stop this command rather than continuing with a partially initialized repository","# Initialize Git Repository\n\nInitialize a Git repository in the current project directory if one does not already exist.\n\n## Execution\n\nRun the appropriate script from the project root:\n\n- **Bash**: `.specify\u002Fextensions\u002Fgit\u002Fscripts\u002Fbash\u002Finitialize-repo.sh`\n- **PowerShell**: `.specify\u002Fextensions\u002Fgit\u002Fscripts\u002Fpowershell\u002Finitialize-repo.ps1`\n\nIf the extension scripts are not found, fall back to:\n- **Bash**: `git init && git add . && git commit -m \"Initial commit from Specify template\"`\n- **PowerShell**: `git init; git add .; git commit -m \"Initial commit from Specify template\"`\n\nThe script handles all checks internally:\n- Skips if Git is not available\n- Skips if already inside a Git repository\n- Runs `git init`, `git add .`, and `git commit` with an initial commit message\n\n## Customization\n\nReplace the script to add project-specific Git initialization steps:\n- Custom `.gitignore` templates\n- Default branch naming (`git config init.defaultBranch`)\n- Git LFS setup\n- Git hooks installation\n- Commit signing configuration\n- Git Flow initialization\n\n## Output\n\nOn success:\n- `[OK] Git repository initialized`\n\n## Graceful Degradation\n\nIf Git is not installed:\n- Warn the user\n- Skip repository initialization\n- The project continues to function without Git (specs can still be created under `specs\u002F`)\n\nIf Git is installed but `git init`, `git add .`, or `git commit` fails:\n- Surface the error to the user\n- Stop this command rather than continuing with a partially initialized repository",{"name":5,"metadata":41,"description":7,"compatibility":44},{"author":42,"source":43},"github-spec-kit","git:commands\u002Fspeckit.git.initialize.md","Requires spec-kit project structure with .specify\u002F directory","unstable","dc564aa356769b7754391c9fa4fdaa0f179f476c","components\u002Fremote-lookup\u002F.claude\u002Fskills\u002Fspeckit-git-initialize",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":54,"prompt":64,"zipAvailable":65},[55,58,61],{"tool":56,"command":57},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-initialize",{"tool":59,"command":60},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-initialize",{"tool":62,"command":63},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-git-initialize","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fremote-lookup\u002F.claude\u002Fskills\u002Fspeckit-git-initialize\u002FSKILL.md",true,[],[68,86,102,113,128,140],{"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":74,"publishedAt":36},"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",[],[75,76,77,78,79,80,81,82,25,83,84,85],"tools spin sync","Tools","sync","code","verify","model","models","name","re","source","source code",{"skillNo":87,"name":88,"nameZh":6,"description":89,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":90,"categories":91,"keywords":92,"publishedAt":36},"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",[],[93,80,76,94,95,96,97,98,99,100,101],"tools spin model","system","formal verification","number","for","prove","new","create","verification",{"skillNo":103,"name":104,"nameZh":6,"description":105,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":106,"categories":107,"keywords":108,"publishedAt":36},"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",[],[109,110,76,111,101,112],"tools creusot install","install","rust","tool",{"skillNo":114,"name":115,"nameZh":6,"description":116,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":117,"categories":118,"keywords":119,"publishedAt":36},"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",[],[120,76,121,28,24,122,123,101,124,95,125,126,127],"tools creusot init","init","components","prepare","use","cargo","manager","Existing",{"skillNo":129,"name":130,"nameZh":6,"description":131,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":132,"categories":133,"keywords":134,"publishedAt":36},"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",[],[135,136,110,76,97,127,137,138,101,139],"tools creusot coq install","Coq","as","installation","add",{"skillNo":141,"name":142,"nameZh":6,"description":143,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":144,"categories":145,"keywords":146,"publishedAt":36},"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",[],[76,147,148,25,82,149,79,150,151],"tools creusot annotate interfaces","annotate","properties","component","interface"]