Skills
.Work. You
Rest

discover-formal

Community

Automate formal methods and software verification.

Software Engineering#verification#theorem proving#SMT solving#Lean#SAT solving#formal methods#Z3
Authorrand
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Applying formal methods and software verification can be daunting due to their mathematical rigor. This skill provides instant access to expertise on theorem proving, SAT/SMT solving (Z3, Lean), constraint satisfaction problems, and proof basics, making complex verification tasks more approachable.

Core Features & Use Cases

  • Formal Verification Expertise: Covers SAT/SMT solving, constraint propagation, CSP modeling, and theorem proving with tools like Lean and Z3.
  • Contextual Activation: Automatically activates when you're engaged in formal development tasks, offering relevant guidance.
  • Use Case: When verifying the correctness of a critical algorithm, this skill can guide you through using SMT solvers or Lean for formal proof construction.

Quick Start

Explain the basics of SAT solving and its applications in software verification.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: discover-formal
Download link: https://github.com/rand/cc-experiments/archive/main.zip#discover-formal

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.