Claude
Skills
Sign in
Back

synthesis-specification-language

Included with Lifetime
$97 forever

Define specifications for program synthesis using various paradigms

General

What this skill does


# Synthesis Specification Language

## Purpose

Provides expert guidance on defining specifications for program synthesis using examples, logic, or sketches.

## Capabilities

- Input-output example specification
- Logical specification (pre/post conditions)
- Sketch-based specification
- Natural language to specification
- Specification validation
- Ambiguity detection

## Usage Guidelines

1. **Paradigm Selection**: Choose specification paradigm
2. **Specification Writing**: Write formal specification
3. **Validation**: Validate specification for completeness
4. **Disambiguation**: Resolve specification ambiguities
5. **Integration**: Connect to synthesis engines

## Tools/Libraries

- SyGuS format
- Sketch
- Rosette
- FlashFill

Related in General