All categories
Documentation
Docs, README files, API references, tutorials, specs, and changelogs
- 16,089
- 671
Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.
Open in full browserBrowse documentation skills
Showing 7,993–8,016 of 16,089 skills
- Speckit Sync ConflictsDetect and surface conflicts between specs or between specs and designVotes: 0GitHub stars: 2
- Speckit Sync BackfillGenerate a new spec from unspecced code feature (backfill)Votes: 0GitHub stars: 2
- Speckit Sync ApplyApply approved drift resolutions to specs and/or codeVotes: 0GitHub stars: 2
- Speckit Sync AnalyzeAnalyze drift between specs and implementation. Compares requirementsVotes: 0GitHub stars: 2
- Speckit DriftAnalyze drift between specs and implementation. Compares requirementsVotes: 0GitHub stars: 2
- Component Sync SpecsEnsure a component implementation is synchronized with its specifications.Votes: 0GitHub stars: 2
- Speckit ConstitutionCreate or update the project constitution from interactive or provided principle inputs, ensuring all dependent templates stay in sync.Votes: 0GitHub stars: 2
- Speckit AnalyzePerform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.Votes: 0GitHub stars: 2
- Tools Spin ModelCreate a new Spin/Promela formal verification model for a system propertyVotes: 0GitHub stars: 2
- Speckit Sync ConflictsDetect and surface conflicts between specs or between specs and designVotes: 0GitHub stars: 2
- Speckit Sync BackfillGenerate a new spec from unspecced code feature (backfill)Votes: 0GitHub stars: 2
- Speckit Sync ApplyApply approved drift resolutions to specs and/or codeVotes: 0GitHub stars: 2
- Speckit Sync AnalyzeAnalyze drift between specs and implementation. Compares requirementsVotes: 0GitHub stars: 2
- Speckit DriftAnalyze drift between specs and implementation. Compares requirementsVotes: 0GitHub stars: 2
- Speckit AnalyzePerform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.Votes: 0GitHub stars: 2
- Component Sync SpecsEnsure a component implementation is synchronized with its specifications.Votes: 0GitHub stars: 2
- Tools Verify CreusotIdentify what to verify in real-world Rust code, extract the pure core, and drive it to a full Creusot proofVotes: 0GitHub stars: 2
- Tools Spin SyncSynchronize Spin/Promela models with current source code and re-verifyVotes: 0GitHub stars: 2
- Tools Spin ModelCreate a new Spin/Promela formal verification model for a system propertyVotes: 0GitHub stars: 2
- Tools Creusot InitPrepare an existing Cargo project to use Creusot formal verificationVotes: 0GitHub stars: 2
- Tools Creusot Annotate InterfacesFormally verify a component's properties with Creusot and annotate its interface definitionsVotes: 0GitHub stars: 2
- Component Check Verif TranslationCross-check a Certus component's abstract verification artifacts (a `verif/` Creusot mirror, a `#[cfg(kani)] mod verification`, or a Spin `.pml` model) against its concrete shipped implementation, then summarize concrete-code/abstract-code drift with source evidence. Use when auditing whether a formal-verification harness still faithfully mirrors the code it claims to prove, when checking for vacuous contracts or unmatched assumptions after code changes, or when validating what `component-poi...Votes: 0GitHub stars: 2
- Component Check Spec TranslationCross-check a Certus component's nested Spec Kit `specs/**/spec.md` specifications against its generated implementation and tests, then summarize semantic translation mismatches with source evidence. Use when auditing whether generated code faithfully implements component requirements, acceptance scenarios, interfaces, defaults, constraints, errors, or success criteria; when checking implementation drift after generation or code changes; or when asked to compare a component spec with code. Th...Votes: 0GitHub stars: 2
- Zhangxuefeng Perspective张雪峰的思维框架与表达方式。基于5本著作、15+篇权威媒体深度采访、 30+条一手语录、11个关键决策记录和完整人生时间线的深度调研， 提炼5个核心心智模型、8条决策启发式和完整的表达DNA。 用途：作为思维顾问，用张雪峰的视角分析教育选择、职业规划、阶层流动等问题。 当用户提到「用张雪峰的视角」「张雪峰会怎么看」「张雪峰模式」「雪峰视角」时使用。 即使用户只是说「帮我用张雪峰的角度想想」「如果张雪峰会怎么说」「切换到张雪峰」也应触发。Votes: 0GitHub stars: 46