creusot

Quality score: 70/100 · Category: General · Sub-category: general-misc

lang:rust

Formal verification of Rust code using Creusot and the Pearlite specification language. Use when the user wants to (1) add contracts/specifications to Rust functions, (2) prove correctness of Rust code, (3) write loop invariants, (4) use Creusot's Why3-based verification, (5) work with Pearlite syntax (requires, ensures, invariant, logic, predicate), or (6) debug failing Creusot proofs. Triggers include "verify this Rust", "prove", "Creusot", "add contracts", "formal verification", "loop invariant", "precondition", "postcondition", "Pearlite".

What this skill does

creusot is a production-ready Claude Code skill (quality score 70/100) in the general-misc sub-category. It ships as a SKILL.md file that Claude Code auto-discovers under ~/.claude/skills/creusot-skill/ and loads when your prompt matches the skill's trigger.

When to invoke it: Use when the user wants to (1) add contracts/specifications to Rust functions, (2) prove correctness of Rust code, (3) write loop invariants, (4) use Creusot's Why3-based verification, (5) work with Pearlite syntax (requires, ensures, invariant, logic, predicate), or (6) debug failing Creusot proofs. Triggers include "verify this Rust", "prove", "Creusot", "add contracts", "formal verification", "loop invariant", "precondition", "postcondition", "Pearlite".

Who uses this skill

The creusot skill is built for Claude Code users and developers across all disciplines looking for general-purpose AI assistance. It is part of the open ClaudSkills registry, a community-curated catalog of 15,000+ capabilities you can install for Claude Code — the Claude CLI agent.

How to install

Free

Manual install (2 steps)

mkdir -p ~/.claude/skills/creusot-skill
curl -L https://claudskills.com/skills/creusot-skill/SKILL.md \
  -o ~/.claude/skills/creusot-skill/SKILL.md

Or just download SKILL.md directly and drop it into ~/.claude/skills/creusot-skill/. Claude Code auto-discovers it on next session.

Skills live at ~/.claude/skills/creusot-skill/SKILL.md on macOS/Linux, or %USERPROFILE%\.claude\skills\creusot-skill\SKILL.md on Windows. See the full install guide for step-by-step instructions.

Pro

One-click install via the desktop app

The ClaudSkills desktop app installs any skill directly into ~/.claude/skills/ with one click — no terminal required. Pro starts at $9/mo or $149 lifetime.

More General skills

Browse all General skills in the ClaudSkills registry, or explore these top-rated picks from the same category:

Browse all General skills → Top 100 skills

Part of ClaudSkills — the open registry for Claude Code skills. · What's New · Install guide · About · llms.txt

Part of Acreator Store — Adam Lankamer's AI tools: GifPerfect · AspectPerfect · SlomoPerfect · Ucaption · UTagger · AutoXPoster · TestYourSkills