[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KN3Z1CXHV01PD5WZSRGPZP":3,"skill-same:01M6KN3Z1CXHV01PD5WZSRGPZP":77},{"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":23,"publishedAt":45,"linkOnly":46,"markdownContent":47,"markdownBody":48,"frontMatter":49,"refName":55,"commitSha":56,"skillDirectory":57,"forksCount":58,"repositoryHtmlUrl":59,"repositoryHomepageUrl":6,"ownerHtmlUrl":60,"ownerBlogUrl":61,"ownerDescription":6,"updatedAt":62,"install":63,"resources":76},"01M6KN3Z1CXHV01PD5WZSRGPZP","speckit-agent-context-update",null,"Refresh the managed Spec Kit section in the coding agent context file","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-lru\u002F.claude\u002Fskills\u002Fspeckit-agent-context-update\u002FSKILL.md",[18],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000023","Skill与智能体开发","SCENARIO","使用场景",[24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44],"speckit agent context update","update","context","agent context update","speckit","context update","structure","section","managed","kit","agent-context","with","spec-kit","project","coding agent","refresh","specify","spec kit","file","project structure","github","2026-11-10 10:12:30",false,"---\nname: context7-auto-research\ndescription: \"Automatically fetch latest library\u002Fframework documentation for Claude Code via Context7 API\"\nrisk: unknown\nsource: community\ndate_added: \"2026-02-27\"\n---\n\n# context7-auto-research\n\n## Overview\nAutomatically fetch latest library\u002Fframework documentation for Claude Code via Context7 API\n\n## When to Use\n- When you need up-to-date documentation for libraries and frameworks\n- When asking about React, Next.js, Prisma, or any other popular library\n\n## Installation\n```bash\nnpx skills add -g BenedictKing\u002Fcontext7-auto-research\n```\n\n## Step-by-Step Guide\n1. Install the skill using the command above\n2. Configure API key (optional, see GitHub repo for details)\n3. Use naturally in Claude Code conversations\n\n## Examples\nSee [GitHub Repository](https:\u002F\u002Fgithub.com\u002FBenedictKing\u002Fcontext7-auto-research) for examples.\n\n## Best Practices\n- Configure API keys via environment variables for higher rate limits\n- Use the skill's auto-trigger feature for seamless integration\n\n## Troubleshooting\nSee the GitHub repository for troubleshooting guides.\n\n## Related Skills\n- tavily-web, exa-search, firecrawl-scraper, codex-review\n","# context7-auto-research\n\n## Overview\nAutomatically fetch latest library\u002Fframework documentation for Claude Code via Context7 API\n\n## When to Use\n- When you need up-to-date documentation for libraries and frameworks\n- When asking about React, Next.js, Prisma, or any other popular library\n\n## Installation\n```bash\nnpx skills add -g BenedictKing\u002Fcontext7-auto-research\n```\n\n## Step-by-Step Guide\n1. Install the skill using the command above\n2. Configure API key (optional, see GitHub repo for details)\n3. Use naturally in Claude Code conversations\n\n## Examples\nSee [GitHub Repository](https:\u002F\u002Fgithub.com\u002FBenedictKing\u002Fcontext7-auto-research) for examples.\n\n## Best Practices\n- Configure API keys via environment variables for higher rate limits\n- Use the skill's auto-trigger feature for seamless integration\n\n## Troubleshooting\nSee the GitHub repository for troubleshooting guides.\n\n## Related Skills\n- tavily-web, exa-search, firecrawl-scraper, codex-review\n",{"name":50,"risk":51,"source":52,"date_added":53,"description":54},"context7-auto-research","unknown","community","2026-02-27","Automatically fetch latest library\u002Fframework documentation for Claude Code via Context7 API","main","aae5fa43a57641df274d23f55d90e394333c4050","components\u002Feviction-policy-lru\u002F.claude\u002Fskills\u002Fspeckit-agent-context-update",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 03:45:04",{"source":8,"skillName":50,"commands":64,"prompt":74,"zipAvailable":75},[65,68,71],{"tool":66,"command":67},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill context7-auto-research",{"tool":69,"command":70},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill context7-auto-research",{"tool":72,"command":73},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill context7-auto-research","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-lru\u002F.claude\u002Fskills\u002Fspeckit-agent-context-update\u002FSKILL.md",true,[],[78,96,112,123,139,151],{"skillNo":79,"name":80,"nameZh":6,"description":81,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":82,"categories":83,"keywords":84,"publishedAt":45},"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",[],[85,86,87,88,89,90,91,92,35,93,94,95],"tools spin sync","Tools","sync","code","verify","model","models","name","re","source","source code",{"skillNo":97,"name":98,"nameZh":6,"description":99,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":100,"categories":101,"keywords":102,"publishedAt":45},"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",[],[103,90,86,104,105,106,107,108,109,110,111],"tools spin model","system","formal verification","number","for","prove","new","create","verification",{"skillNo":113,"name":114,"nameZh":6,"description":115,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":116,"categories":117,"keywords":118,"publishedAt":45},"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",[],[119,120,86,121,111,122],"tools creusot install","install","rust","tool",{"skillNo":124,"name":125,"nameZh":6,"description":126,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":127,"categories":128,"keywords":129,"publishedAt":45},"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",[],[130,86,131,37,132,133,134,111,135,105,136,137,138],"tools creusot init","init","directory","components","prepare","use","cargo","manager","Existing",{"skillNo":140,"name":141,"nameZh":6,"description":142,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":143,"categories":144,"keywords":145,"publishedAt":45},"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",[],[146,147,120,86,107,138,148,149,111,150],"tools creusot coq install","Coq","as","installation","add",{"skillNo":152,"name":153,"nameZh":6,"description":154,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":155,"categories":156,"keywords":157,"publishedAt":45},"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",[],[86,158,159,35,92,160,89,161,162],"tools creusot annotate interfaces","annotate","properties","component","interface"]