{"slug":"nwave-ai-nw-tlaplus-verification","source_name":"nwave-ai/nw-tlaplus-verification","name":"Nwave AI/Nw Tlaplus Verification","description":"TLA+ formal verification for design correctness and PBT pipeline integration","version":1,"lift":{"pass_rate_delta_pts":13.64,"pass_rate_pct":100,"total_cases":22,"passed_cases":22,"tokens_delta_pct":77,"turns_delta_pct":0,"verdict":"pass","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-16T23:29:08.097829+00:00"},"skill_score":null,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":13.64,"with_pass_pct":100,"without_pass_pct":86.4,"tokens_delta_pct":77,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"pass","never_hurt":true,"completed_at":"2026-08-16T23:29:08.097829+00:00","run_id":"c33d33e0-e0e8-419d-97a8-2fe953facc37","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":"12153b501006df61368e437ca7086d75b59165084d8a323e7ebdc4273f748dfd","raw_url":"https://app.decimal.ai/s/nwave-ai-nw-tlaplus-verification/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/nwave-ai-nw-tlaplus-verification"}