[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KN9VN2QKX4FSBTZA65EMD7":3,"skill-same:01M6KN9VN2QKX4FSBTZA65EMD7":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},"01M6KN9VN2QKX4FSBTZA65EMD7","speckit-sync-backfill",null,"Generate a new spec from unspecced code feature (backfill)","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-optimized\u002F.claude\u002Fskills\u002Fspeckit-sync-backfill\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38],"speckit sync backfill","backfill","sync","speckit","commands","new","true","kit","with","spec-kit","feature","directory","project","structure","specify","code","generate","project structure","github","spec","2026-11-10 10:12:30",false,"---\nname: aviation-security-plan\ndescription: |\n  Design aviation security plans with TSA compliance.\n  TRIGGERS - Use when user needs help with aviation-security-plan related tasks.\ncategory: Aviation\nversion: 1.0\n---\n# aviation-security-plan\n## Workflow\n1. **Understand Requirements** - Context, audience, goals, constraints\n2. **Research & Analyze** - Best practices, frameworks, background\n3. **Create Draft** - Structured, actionable, tailored output\n4. **Review & Refine** - Quality check, consistency, completeness\n\n## Output Format\n**Context:** [Situation] | **Objective:** [Goal] | **Audience:** [Who]\n\n### Key Components\n| Component | Details | Owner | Timeline |\n|-----------|---------|-------|----------|\n| [Item] | [Specifics] | [Who] | [When] |\n\n### Action Plan\n1. **Immediate:** [First steps]\n2. **Short-term:** [Build momentum]\n3. **Medium-term:** [Scale]\n\n### Success Metrics\n| Metric | Target | Method |\n|--------|--------|--------|\n| [KPI] | [Goal] | [Track] |\n\n## Quality Checklist\n- [ ] Tailored to context\n- [ ] Actionable steps\n- [ ] Measurable criteria\n- [ ] Professional format\n","# aviation-security-plan\n## Workflow\n1. **Understand Requirements** - Context, audience, goals, constraints\n2. **Research & Analyze** - Best practices, frameworks, background\n3. **Create Draft** - Structured, actionable, tailored output\n4. **Review & Refine** - Quality check, consistency, completeness\n\n## Output Format\n**Context:** [Situation] | **Objective:** [Goal] | **Audience:** [Who]\n\n### Key Components\n| Component | Details | Owner | Timeline |\n|-----------|---------|-------|----------|\n| [Item] | [Specifics] | [Who] | [When] |\n\n### Action Plan\n1. **Immediate:** [First steps]\n2. **Short-term:** [Build momentum]\n3. **Medium-term:** [Scale]\n\n### Success Metrics\n| Metric | Target | Method |\n|--------|--------|--------|\n| [KPI] | [Goal] | [Track] |\n\n## Quality Checklist\n- [ ] Tailored to context\n- [ ] Actionable steps\n- [ ] Measurable criteria\n- [ ] Professional format\n",{"name":44,"version":45,"category":46,"description":47},"aviation-security-plan",1,"Aviation","Design aviation security plans with TSA compliance.\nTRIGGERS - Use when user needs help with aviation-security-plan related tasks.\n","main","5c3b481f1879c5ff119dfd350987d250531a49eb","components\u002Feviction-policy-optimized\u002F.claude\u002Fskills\u002Fspeckit-sync-backfill",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-10 09:17:37",{"source":8,"skillName":44,"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 aviation-security-plan",{"tool":62,"command":63},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill aviation-security-plan",{"tool":65,"command":66},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill aviation-security-plan","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-optimized\u002F.claude\u002Fskills\u002Fspeckit-sync-backfill\u002FSKILL.md",true,[],[71,87,102,113,128,140],{"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,21,34,80,81,82,83,27,84,85,86],"tools spin sync","Tools","verify","model","models","name","re","source","source code",{"skillNo":88,"name":89,"nameZh":6,"description":90,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":91,"categories":92,"keywords":93,"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",[],[94,81,79,95,96,97,98,99,24,100,101],"tools spin model","system","formal verification","number","for","prove","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":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",[],[109,110,79,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":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",[],[120,79,121,31,30,122,123,101,124,96,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":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",[],[135,136,110,79,98,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":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,147,148,27,83,149,80,150,151],"tools creusot annotate interfaces","annotate","properties","component","interface"]