{"slug":"michael-denyer-statechart","source_name":"michael-denyer/statechart","name":"Michael Denyer/Statechart","description":"Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it as a Mermaid statechart. The report gives the shortest path to each state that breaks a rule. Use for /statechart, or to show a bug as a path through states.","version":1,"lift":{"pass_rate_delta_pts":57.14,"pass_rate_pct":84,"total_cases":25,"passed_cases":21,"tokens_delta_pct":56.8,"turns_delta_pct":0,"verdict":"pass","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-10-29T01:37:49.524459+00:00"},"skill_score":1,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":57.14,"with_pass_pct":100,"without_pass_pct":42.9,"tokens_delta_pct":56.8,"turns_delta_pct":0,"total_cases":25,"cases_aggregated":21,"verdict":"pass","never_hurt":true,"completed_at":"2026-10-29T01:37:49.524459+00:00","run_id":"dea7e02b-ecf5-4dc2-a6a5-e19e9b5ba470","latest_attempt":{"id":"dea7e02b-ecf5-4dc2-a6a5-e19e9b5ba470","runner_model":"gemini-3.6-flash","overall_verdict":"pass","completed_at":"2026-10-29T01:37:49.524459+00:00","gate":null},"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,"total_uses":0,"total_users":0,"manifest_hash":"5608100141486295e0aba6c22a5f9e9ba56385ca77662e503323efaea4220eae","install_name":"michael-denyer-statechart","version_id":"c00e5af5-4f7e-4a23-9d02-5390df706cc6","body_sha256":"5608100141486295e0aba6c22a5f9e9ba56385ca77662e503323efaea4220eae","render_hash":"34a976da053a6bc9e9f5e00d66e4a5efcbb67fcabbad46568492e865ceb940b6","raw_url":"https://app.decimal.ai/s/michael-denyer-statechart/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/michael-denyer-statechart"}