Amadeus Development Life Cycle

Popular repositories Loading

1. amadeus amadeus Public

   Agent skills, templates, examples, validators, and docs for operating Amadeus DLC, a lifecycle contract for AI driven software development.

   TypeScript 8

2. amadeus-dlc.github.io amadeus-dlc.github.io Public

3. fraktor-rs fraktor-rs Public

4. amadeus-ng amadeus-ng Public

   TypeScript

5. aidlc-deep-spec-analysis-plugin aidlc-deep-spec-analysis-plugin Public

   Neurosymbolic deep spec analysis plugin for AI-DLC v2 (SMT + Quint verification of requirements)

   TypeScript

6. aidlc-grilling-plugin aidlc-grilling-plugin Public

   TypeScript