{"repo":"DavidNazareno/specra-lang","free":true,"listed":false,"github":"https://github.com/DavidNazareno/specra-lang","clone":"git clone https://github.com/DavidNazareno/specra-lang.git","description":"Contract-driven AI coding and verification for agent workflows.","language":"TypeScript","stars":10,"topics":["agents","ai","cli","developer-tools","markdown","typescript","verification","specification"],"license":"MIT","category":"ai-agents","readme_excerpt":"Specra Specra is an intent-first language for AI-assisted software development. Instead of asking an AI to edit large codebases directly, Specra gives humans and agents a compact source of truth that captures: - domain entities - operations - expectations - constraints - target platforms That source can then be validated, turned into compact agent-facing artifacts, and checked against observed behavior. Status Specra is in an early experimental phase. This repository currently includes: - a TypeScript monorepo - Nx orchestration for project graph and task running - a Markdown-first .scl.md parser and validator, with legacy .scl compatibility - a normalized semantic model - compact runtime artifacts for agents - a basic expectation verifier - a CLI - a local SQLite state index for compact retrieval Documentation - Current Stable Surface - .scl.md Language Guide - Verification Workflow - Versioning And Releases - Publishing Checklist Repository layout Example specra service: BookingApp goal: Manage restaurant reservations entity Reservation: id: UUID customerName: string date: string partySize: number status: string end operation createReservation: input: Reservation output: Reservation end expectation createReservation success: operation: createReservation auth: valid input customerName: \"Ana\" input date: \"2026-06-01T20:00:00Z\" input partySize: 4 expect outcome: success expect output.status: \"pending\" end constraint auth required: true target runtime: generic target database: ","default_branch":null,"files":null,"tree":[],"storefront":"/r/DavidNazareno","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/DavidNazareno/specra-lang/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}