nw-tlaplus-verification
From the author
TLA+ formal verification for design correctness and PBT pipeline integration
Install
npx skills add nWave-ai/nWave --skill nw-tlaplus-verification -a claude-code
Installs to .claude/skills/nw-tlaplus-verification/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
Want your agent to suggest skills while you type? See how to use skills from your IDE.
Safety checks on SKILL.md
No warnings.
Why 84
Security100
Provenance74
Maintenance85
Licence100
Adoption46
aiqbench computes the trust score from public signals. It is not a security audit, so read a skill before you install it.
Similar skills
Closest to this one by what they do and when they are used.
- nw-formal-verification-tlaplusnWave-ai/nWaveTLA+ and PlusCal for specifying distributed system invariants. Decision heuristics for when formal verification adds value, key patterns, state explosion management, and alternatives comparison.Planning★ 622
- kiro-validate-designgotalab/cc-sddInteractive technical design quality review and validationDesign★ 3.7K
- Data Pipeline TestingPramodDutta/qaskillsTesting data pipelines including ETL validation, data quality checks, pipeline orchestration testing, and data lineage verification.Testing★ 240
- nw-quality-validationnWave-ai/nWaveType-specific validation checklists, six quality characteristics, and quality gate thresholds for documentation assessmentPlanning★ 622
- lintaiskillstore/marketplaceHow to lint and typecheck in this project. Load when implementing or verifying code.Engineering★ 443
- nw-pdr-review-criterianWave-ai/nWaveEvidence quality validation and decision gate criteria for product discovery reviewsEngineering★ 622
Ratings & reviews
—
no reviews
Tried this skill? Rate it to help others. Sign in
Discussion
Join the discussion. Sign in