nw-tlaplus-verification
De la autor
TLA+ formal verification for design correctness and PBT pipeline integration
Instalare
npx skills add nWave-ai/nWave --skill nw-tlaplus-verification -a claude-code
Se instalează în .claude/skills/nw-tlaplus-verification/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Identic octet cu octet cu commit-ul scanat, cu licența depozitului și un fișier SOURCE.txt.
Vrei ca agentul să-ți propună skill-uri în timp ce scrii? Vezi cum folosești skill-urile din IDE.
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 84
aiqbench calculează scorul de încredere din semnale publice. Nu este un audit de securitate, așa că citește un skill înainte să-l instalezi.
Skill-uri similare
Cele mai apropiate de acesta prin ce fac și când sunt folosite.
- 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.Planificare★ 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.Testare★ 240
- nw-quality-validationnWave-ai/nWaveType-specific validation checklists, six quality characteristics, and quality gate thresholds for documentation assessmentPlanificare★ 622
- lintaiskillstore/marketplaceHow to lint and typecheck in this project. Load when implementing or verifying code.Inginerie★ 443
- nw-pdr-review-criterianWave-ai/nWaveEvidence quality validation and decision gate criteria for product discovery reviewsInginerie★ 622
Note și recenzii
—
nicio recenzie
Ai încercat acest skill? Notează-l ca să-i ajuți pe alții. Autentifică-te
Discuție
Intră în discuție. Autentifică-te