T3 VERIFIED

thomascothran/pavlov/pavlov-model-checking

thomascothran·Coding·thomascothran/pavlov·modules/pavlov-skills/skills/pavlov-model-checking/SKILL.md ↗·Updated Mar 20, 2026

thomascothran/pavlov

community

Install

# npm
$ npx vskill@latest install thomascothran/pavlov/pavlov-model-checking

# bun
$ bunx vskill@latest install thomascothran/pavlov/pavlov-model-checking

# pnpm
$ pnpx vskill@latest install thomascothran/pavlov/pavlov-model-checking

# yarn
$ yarn dlx vskill@latest install thomascothran/pavlov/pavlov-model-checking

# alternative
$ npx vskill@latest install thomascothran/pavlov --skill pavlov-model-checking

──Security

Tier 1PASS 90/100Tier 2PASSView full security report →

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

45stars1forks197d trend

53d ago

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

ClineAmp

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/thomascothran/pavlov/pavlov-model-checking/badge)](https://verified-skill.com/skills/thomascothran/pavlov/pavlov-model-checking)