specula-org/sysmobench/tv-eval

Claude Code and agent skill by specula-org/sysmobench

Trust tier 3
  • community
Source check pending

Checking that the SKILL.md file is still in the repository.

Transition validation (TV) for TLA+ specs. Use when: scoring how faithfully an AI-generated spec models a real system, producing per-action pass rates with defensible explanations. The agent acts as the examiner (考官) — writes instrumentation, runs harness, writes TV modules, runs TLC, and interprets scores.

Install

npx vskill@latest install specula-org/sysmobench/tv-eval

SKILL.md

The same SKILL.md was published earlier as makhana/sysmobench-research/tv-eval.

Read guide.md for the full workflow.

Reference docs:

  • references/canonical_window_format.md — the one true window file schema
  • references/tv_module_template.md — how to write TV_<Action>.tla
  • references/score_interpretation.md — how to explain pass rates

Worked examples:

  • examples/spin/ — simple case (spinlock), 1 aux variable
  • examples/etcd/ — complex case (etcd-raft), 4 aux variables, log abstraction

Security

  • Security scanPassed, 90 of 100Pattern checks on the skill's files.
  • Model reviewPassed

See the full security report

Quality evaluation

  • Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

Popularity

7-day trend score
0

Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

  • Claude Code
  • Cursor
  • GitHub Copilot
  • Windsurf
  • Codex
  • Gemini CLI
  • Cline
  • Amp
  • Roo Code
  • Goose
  • Continue
  • Kilo Code
  • Junie
  • Trae
  • OpenHands
  • Qwen Code
  • AI Agent
  • Tabnine Chat
  • Sourcegraph Cody
  • Amazon Q
  • Firebase Genkit
  • Sweep
  • Devin
  • Phind
  • Mentat
  • Claude Desktop
  • Aider
  • GPT Pilot
  • Plandex
  • bolt.new
  • v0
  • Replit Agent
  • Anse
  • TypingMind
  • BetterChatGPT
  • LibreChat
  • Warp AI
  • Pieces
  • Fig AI
Embed badge
vskill VERIFIED badge
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/specula-org/sysmobench/tv-eval/badge)](https://verified-skill.com/skills/specula-org/sysmobench/tv-eval)

Something wrong with this skill or its page? Tell us.