Skill_vault: Parallel plan phase implementation and plan formal verification

metacircu1ar1 pts0 comments

GitHub - metacircu1ar/skill_vault · GitHub

/" data-turbo-transient="true" />

Skip to content

Search/

Sign in<br>Sign upAppearance settings

You signed in with another tab or window. Reload to refresh your session.<br>You signed out in another tab or window. Reload to refresh your session.<br>You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

{{ message }}

metacircu1ar

skill_vault

Public

Notifications<br>You must be signed in to change notification settings

Fork

Star

main

BranchesTags

Go to file

CodeOpen more actions menu

Latest commit

History<br>2 Commits<br>2 Commits

Folders and files<br>NameNameLast commit message<br>Last commit date<br>skills

skills

.gitignore

.gitignore

LICENSE

LICENSE

README.md

README.md

logo.png

logo.png

View all files

Repository files navigation

Skill Vault

A personal collection of agent skills, workflow references, delivery playbooks, and focused audit checklists for AI coding agents.

Contents

Workflow references

The Markdown files in skills/ document reusable workflows for advising, batch changes, code review, deep research, goal-driven execution, verifier generation, localization, simplification, and testable frontends.

Product delivery skills

skills/product-delivery-skills/ contains four self-contained, installable skills:

Skill<br>Purpose

product-implementation-planner<br>Turn a product description and repository evidence into a phased implementation plan.

product-plan-compiler<br>Compile a detailed product plan into formal models, run relevant provers and model checkers, and refine inconsistencies before implementation.

parallel-plan-implementation<br>Implement an approved plan through controlled, dependency-aware parallel phases.

phase-commit-reviewer<br>Perform a read-only, phase-aware review of one implementation commit.

The default delivery sequence is product-implementation-planner → product-plan-compiler → parallel-plan-implementation → phase-commit-reviewer.

Each product-delivery skill includes its supporting references, templates, schemas, scripts, and a dedicated README.

Audit skills

skills/audit/ contains focused audit playbooks. Each one is intended to produce concrete findings with file paths, line numbers, impact, and suggested fixes.

Skill<br>Purpose

audit-input-validation<br>Audit client and server validation for user-controlled input.

audit-auth-and-access-control<br>Audit auth flows, sessions, roles, admin routes, and cross-user data isolation.

audit-secrets-and-config<br>Audit hardcoded secrets, environment validation, and webhook signatures.

audit-rate-limiting<br>Audit API-route rate-limit coverage and policy fit.

audit-cors<br>Audit CORS configuration and origin allowlists.

audit-database-performance<br>Audit indexes, pagination, unbounded queries, and connection-pool risks.

audit-resilience-and-observability<br>Audit error boundaries, external I/O, health checks, logs, and backups.

audit-asset-pipeline<br>Audit uploads, storage, CDN/object storage, and asset delivery.

audit-type-safety<br>Audit TypeScript safety bypasses and unchecked external data.

security-review<br>Run an umbrella security review composed from focused web skills.

ios-prelaunch-checklist<br>Audit iOS App Store assets, technical setup, legal readiness, and signing.

Use

Clone the repository and copy the skill or reference you need into the directory expected by your agent runtime:

/SKILL.md<br>skills/audit//SKILL.md">skills/product-delivery-skills//SKILL.md<br>skills/audit//SKILL.md

Repository layout

skills/ Workflow references and skill material<br>skills/audit/ Focused audit skills<br>skills/product-delivery-skills/ Self-contained product-delivery skills<br>LICENSE MIT license

About<br>No description, website, or topics provided.<br>Resources<br>Readme<br>MIT license<br>Activity<br>Stars<br>2 stars<br>Watchers<br>0 watching<br>Forks<br>1 fork<br>Report repository

Releases

Packages

Contributors

Languages

You can’t perform that action at this time.

audit skills product skill plan delivery

Related Articles