AGENT SKILL
speckit-sync-backfill
Generate a new spec from unspecced code feature (backfill)
- License 许可
- Apache-2.0
- 最近更新
- 2026-11-10
- Stars
- ★ 3
- Forks
- 4
01 前言 Front Matter
- name
- aviation-security-plan
- version
- 1
- category
- Aviation
- description
- Design aviation security plans with TSA compliance. TRIGGERS - Use when user needs help with aviation-security-plan related tasks.
03 SKILL.md 正文
aviation-security-plan
Workflow
- Understand Requirements - Context, audience, goals, constraints
- Research & Analyze - Best practices, frameworks, background
- Create Draft - Structured, actionable, tailored output
- Review & Refine - Quality check, consistency, completeness
Output Format
Context: [Situation] | Objective: [Goal] | Audience: [Who]
Key Components
| Component | Details | Owner | Timeline |
|---|---|---|---|
| [Item] | [Specifics] | [Who] | [When] |
Action Plan
- Immediate: [First steps]
- Short-term: [Build momentum]
- Medium-term: [Scale]
Success Metrics
| Metric | Target | Method |
|---|---|---|
| [KPI] | [Goal] | [Track] |
Quality Checklist
- [ ] Tailored to context
- [ ] Actionable steps
- [ ] Measurable criteria
- [ ] Professional format
04 同仓库更多 Skills
tools-spin-sync
Synchronize Spin/Promela models with current source code and re-verify
★ 3
tools-spin-model
Create a new Spin/Promela formal verification model for a system property
★ 3
tools-creusot-install
Install the Creusot Rust verification tool
★ 3
tools-creusot-init
Prepare an existing Cargo project to use Creusot formal verification
★ 3
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
★ 3
tools-creusot-annotate-interfaces
Formally verify a component's properties with Creusot and annotate its interface definitions
★ 3