{"slug":"nwave-ai-nw-formal-verification-tlaplus","source_name":"nwave-ai/nw-formal-verification-tlaplus","name":"Nwave AI/Nw Formal Verification Tlaplus","description":"TLA+ and PlusCal for specifying distributed system invariants. Decision heuristics for when formal verification adds value, key patterns, state explosion management, and alternatives comparison.","version":1,"lift":{"pass_rate_delta_pts":4.55,"pass_rate_pct":100,"total_cases":22,"passed_cases":22,"tokens_delta_pct":98.9,"turns_delta_pct":0,"verdict":"pass","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-16T22:52:28.685787+00:00"},"skill_score":null,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":4.55,"with_pass_pct":100,"without_pass_pct":95.5,"tokens_delta_pct":98.9,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"pass","never_hurt":true,"completed_at":"2026-08-16T22:52:28.685787+00:00","run_id":"c83f7993-4371-4678-b532-854c69c6c4de","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"manifest_hash":"ec0eac204e2b7e28450711895e63671971b50a91826786fd8edc2e3a58dd6247","raw_url":"https://app.decimal.ai/s/nwave-ai-nw-formal-verification-tlaplus/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/nwave-ai-nw-formal-verification-tlaplus"}