Agent skill · software engineering · aiskillstore
ariadne-loop
Write verifiable Loop Engineering specs for Codex, Claude Code, OpenClaw, and AI coding agents.
Why this skill is useful
Adds executable CLI commands for creating and managing verifiable loop contracts that enhance AI coding agents' capabilities.
What it needs
Requires ariadne-loop installed locally. About 2k tokens when loaded. Last updated 2026-08-07. 405 stars on the source repository.
What this skill does
Ariadne Loop Use this skill to turn vague agent work into a bounded loop contract for OpenClaw, Codex, Claude Code, or another coding agent. The goal is not to make a longer prompt. The goal is to make the next agent turn verifiable. When to Use Use this skill when the user asks for any of these: a loop, agent loop, or Loop Engineering spec, a resumable handoff for OpenClaw, Codex, Claude Code, or another coding agent, a GitHub issue converted into an executable agent task, release, refactor, bugfix, or documentation work that needs explicit gates, supervision rules for repeated agent reports. Preferred Workflow 1. Identify the source shape: rough notes, GitHub issue title and body, release/refactor/bugfix request, long thread handoff. 2. Create a snapshot JSON with: title, goal, currentstate, recentprogress, constraints, verifiers, externaleffects, risk. 3. Generate or write an agent packet that includes: inspect -> act -> verify -> decide cycle, concrete verifiers, stop rules, rollback behavior, human gates for external effects, JSON-only report contract. 4. If the user wants a first-run demo and the Ariadne Loop CLI is installed: This creates a snapshot, loop JSON, agent packet, sample reports, and a supervision decision. 5. For real work, prefer using the CLI: 6. If the work starts from a GitHub issue body: 7. For running loops, ask the agent to append JSON reports to JSONL and use: If the CLI Is Not Installed Do not block. Produce the snapshot JSON and the agent packet directly in the response or in files. Tell the user they can use the browser builder: Use this report contract: Verifier Rules Prefer observable gates: command output, rendered page or screenshot readback, generated artifact exists and validates, remote GitHub issue, PR, release, or Pages output is read back, diff contains no unrelated churn, failing reproduction now passes. …
How to use it
Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:
@skills aiskillstore/ariadne-loop