skills.rest
danwt
danwtCOMMUNITY
Explore all skills by this author →
GitHub

expert-specl

Teach Claude Code to write, debug, and verify Specl specifications.

22|Updated Feb 11, 2026
Search Tags:#verification#ai#tooling#claude-code#model-checking#specl#spec-language
One-click install
npx skills add https://github.com/danwt/specl --skill expert-specl
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: expert-specl
Source: https://github.com/danwt/specl/tree/main/.claude/skills/expert-specl
Command: npx skills add https://github.com/danwt/specl --skill expert-specl

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Teaches Claude Code to write, debug, and verify Specl specifications.

Core Features & Use Cases

  • Claude-integrated expert guidance for Specl syntax, invariants, guards, and dict modeling.
  • Onboarding and rapid prototyping: generate starter specs, validate structure, and provide best-practice patterns.
  • Use cases include learning Specl, debugging complex invariants, and translating concepts from TLA+.

Quick Start

Install the expert-specl skill in Claude and prompt Claude to write or debug a Specl specification.

Frequently Asked Questions about expert-specl

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write and verify Specl specifications using Claude Code?▼

To write and verify Specl specifications, you can use Claude Code integrated with the expert-specl skill to generate starter specs, validate structure, and apply best-practice patterns for modeling and invariants.

What is the best way to debug complex invariants in Specl?▼

The best way to debug complex Specl invariants is to use Claude Code guided by the expert-specl skill, which provides expert guidance on syntax, guards, and dict modeling to identify and fix specification errors.

Can I translate TLA+ concepts into Specl?▼

Yes, you can translate concepts from TLA+ into Specl by prompting Claude Code with the expert-specl skill, which supports onboarding workflows and conceptual translation for rapid prototyping.

What are the essential commands and patterns for Specl modeling?▼

Essential Specl modeling involves applying best-practice patterns for guards, invariants, and dict modeling, utilizing Claude Code integration to validate structural integrity and ensure accurate specifications.

Why are my Specl guards and dict models failing verification?▼

Specl guards and dict models often fail verification due to structural issues or incorrect invariant definitions, which can be debugged by applying best-practice patterns through Claude Code's expert guidance.

Related Skills

Explore More Software Engineering Skills→
lpjhelderlpjhelder

forge-setup

Install and configure kronon-forge with Node.js and npm.

Community
Intermediate
adzerkadzerk
15

tlaplus-more

Write and verify TLA+ and PlusCal specifications with TLC model checking.

Official
Advanced
tarrragontarrragon
1

lsp-first

Configure language servers and navigate code using LSP protocols.

Community
Intermediate
photoszztphotoszzt

tla-spec-review

Review TLA+ specifications against a checklist for correctness and TLC validation.

Community
Intermediate