Synthesis Specification Language

SkillDev tools

Define specifications for program synthesis using various paradigms

Instructions available. Your AI can read the instructions. Execution depends on the setup they require.

Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

Then ask your AI: use the Synthesis Specification Language skill

What this skill tells your AI

The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/computer-science/skills/synthesis-specification-language/SKILL.md and read by ahel’s review.

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

Paradigm Selection: Choose specification paradigm
Specification Writing: Write formal specification
Validation: Validate specification for completeness
Disambiguation: Resolve specification ambiguities
Integration: Connect to synthesis engines

Tools/Libraries

SyGuS format
Sketch
Rosette
FlashFill

Signals

GitHub stars: 2k
Forks: 112
Last commit: Sep 2026

Advanced

Item type: skill
Key: synthesis-specification-language
Source: github.com/a5c-ai/babysitter

github.com/a5c-ai/babysitter