{"slug": "skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification", "title": "Skill_vault: Parallel plan phase implementation and plan formal verification", "summary": "A GitHub repository named Skill_vault, maintained by user metacircu1ar, provides a collection of Markdown-based skills for AI coding agents, including four product-delivery skills (product-implementation-planner, product-plan-compiler, parallel-plan-implementation, phase-commit-reviewer) and nine audit playbooks (audit-input-validation, audit-auth-and-access-control, audit-secrets-and-config, audit-rate-limiting, audit-cors, audit-database-performance, audit-resilience-and-observability, audit-asset-pipeline, audit-type-safety, security-review, ios-prelaunch-checklist). The repository is licensed under the MIT license and is intended to be cloned and copied into an agent runtime's skill directory.", "body_md": "A personal collection of agent skills, workflow references, delivery playbooks, and focused audit checklists for AI coding agents.\n\nThe Markdown files in [ skills/](/metacircu1ar/skill_vault/blob/main/skills) document reusable workflows for advising, batch changes, code review, deep research, goal-driven execution, verifier generation, localization, simplification, and testable frontends.\n\n[ skills/product-delivery-skills/](/metacircu1ar/skill_vault/blob/main/skills/product-delivery-skills) contains four self-contained, installable skills:\n\n| Skill | Purpose |\n|---|---|\n`product-implementation-planner` |\n\n`product-plan-compiler`\n\n`parallel-plan-implementation`\n\n`phase-commit-reviewer`\n\nThe default delivery sequence is `product-implementation-planner`\n\n→ `product-plan-compiler`\n\n→ `parallel-plan-implementation`\n\n→ `phase-commit-reviewer`\n\n.\n\nEach product-delivery skill includes its supporting references, templates, schemas, scripts, and a dedicated README.\n\n[ skills/audit/](/metacircu1ar/skill_vault/blob/main/skills/audit) contains focused audit playbooks. Each one is intended to produce concrete findings with file paths, line numbers, impact, and suggested fixes.\n\n| Skill | Purpose |\n|---|---|\n`audit-input-validation` |\n\n`audit-auth-and-access-control`\n\n`audit-secrets-and-config`\n\n`audit-rate-limiting`\n\n`audit-cors`\n\n`audit-database-performance`\n\n`audit-resilience-and-observability`\n\n`audit-asset-pipeline`\n\n`audit-type-safety`\n\n`security-review`\n\n`ios-prelaunch-checklist`\n\nClone the repository and copy the skill or reference you need into the directory expected by your agent runtime:\n\n```\nskills/product-delivery-skills/<skill-name>/SKILL.md\nskills/audit/<skill-name>/SKILL.md\nskills/                         Workflow references and skill material\nskills/audit/                   Focused audit skills\nskills/product-delivery-skills/  Self-contained product-delivery skills\nLICENSE                         MIT license\n```\n\n", "url": "https://wpnews.pro/news/skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification", "canonical_source": "https://github.com/metacircu1ar/skill_vault", "published_at": "2026-08-19 15:48:46+00:00", "updated_at": "2026-08-19 16:15:22.186262+00:00", "lang": "en", "topics": ["ai-agents", "developer-tools"], "entities": ["Skill_vault", "metacircu1ar", "product-implementation-planner", "product-plan-compiler", "parallel-plan-implementation", "phase-commit-reviewer", "MIT license"], "alternates": {"html": "https://wpnews.pro/news/skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification", "markdown": "https://wpnews.pro/news/skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification.md", "text": "https://wpnews.pro/news/skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification.txt", "jsonld": "https://wpnews.pro/news/skill-vault-parallel-plan-phase-implementation-and-plan-formal-verification.jsonld"}}