validation-workflow

Name: validation-workflow
Author: specula-org

Skill by specula-org · updated 12 days ago · ★ 541

Score 73

TLA+ Verification workflow (orchestration). Use when: running the full verification loop — iterating between trace validation and model checking until both pass, ensuring spec faithfully models the system. validation-workflow is published by specula-org on GitHub.

Install GitHub

Yours? Claim it

Works withClaude CodeClaude apps Antigravity CLI

Maintenance

Last commit 12 days ago

Licence

Apache-2.0: permissive, fine for commercial use

Quality

Clear description, installs from GitHub, 541 stars, original repository

Security

Not checked yet. What we check

Install validation-workflow

Built from the published package, never by AI

git clone --depth 1 https://github.com/specula-org/Specula /tmp/Specula && mkdir -p ~/.claude/skills && cp -r /tmp/Specula/skills/validation-workflow ~/.claude/skills/validation-workflow

Run in your terminal. Claude Code loads skills from ~/.claude/skills automatically.

Step-by-step: install validation-workflow in Claude Code

git clone --depth 1 https://github.com/specula-org/Specula /tmp/Specula && mkdir -p ~/.gemini/antigravity-cli/skills && cp -r /tmp/Specula/skills/validation-workflow ~/.gemini/antigravity-cli/skills/validation-workflow

Antigravity CLI loads skills from ~/.gemini/antigravity-cli/skills, or .agents/skills for one project.

Step-by-step: install validation-workflow in Antigravity CLI

Skills can run scripts on your machine. Some need an API key: check the README.

Alternatives to validation-workflow

All alternatives →

frontend-api-contractsOpenHands

This skill should be used when the user asks to "add an API call", "change a backend", "update settings persistence", "change conversation events", "fix backend auth", "add Agent Server support", or changes src/api, backend registry, Cloud/runtime transport, settings, secrets, compatibility, or conversation resume behavior.

AAA Skill 91k

project-structuremicrosoft

Explains the project structure of the agent-framework .NET solution

AAA Skill 14k

fal-platformsickn33

Platform APIs for model management, pricing, and usage tracking

AAA Skill 48k

gsd-reviewopen-gsd

Request cross-AI peer review of phase plans from external AI CLIs

AAA Skill 11k

peon-ping-togglePeonPing

Toggle peon-ping sound notifications on/off. Use when user wants to mute, unmute, pause, or resume peon sounds during a Claude Code session. Also handles config changes like volume, pack rotation, categories — any peon-ping setting.

AAA Skill 5.1k

cli-anything-openrefineHKUDS

Use OpenRefine through an agent-native CLI for importing messy data, applying JSON operation histories, inspecting rows, exporting cleaned data, and managing session undo/redo.

AAA Skill 55k

validation-workflow vs frontend-api-contracts validation-workflow vs project-structure validation-workflow vs fal-platform

validation-workflow: common questions

How do I install validation-workflow?

Run the command above to copy the skill into ~/.claude/skills/. Claude Code picks it up automatically.

Is validation-workflow free?

The code is published under the Apache-2.0 licence. The service it connects to may have its own pricing.

Is validation-workflow safe to use?

It scores 73 of 100. Grades: maintenance A, licence A, quality A. The security check has not run for it yet. Review the code before you install. How grades work.

What are alternatives to validation-workflow?