Skip to content

v0.5.0 — Launch

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Jun 13:44
· 46 commits to main since this release
v0.5.0
ecc6e39

Das Terminierungs-Orakel — Review wird Konvergenz gegen eine externalisierte, getypte Spezifikation. Generator und Prüf-Orakel architektonisch getrennt.

→ Website & Idee: https://koschnag.github.io/cong-driven-development/
→ Der Beitrag (5 Min): https://koschnag.github.io/cong-driven-development/blog.html

Neu in diesem Launch-Release

  • Öffentliche Landing-Page mit OG-Link-Vorschau
  • Homelab-Deployment: docker-compose.yml + Caddy-Reverse-Proxy (Basic-Auth) + Anleitung — CDD im eigenen Homelab wie ein Cloud-Programm
  • Version durchgängig auf 0.5.0 (CLI, Cockpit, MCP, Container)

Starten

# Container (Cockpit auf :8080, SPOT persistent)
docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.5.0

# Oder self-contained Binary (kein .NET nötig) — Assets unten

Belege (CI-grün, reproduzierbar)

  • cong-driven-development 36/36 · runenruf 46/46 · ledger-casestudy 5/5 + sorry-freier Lean-Beweis

Preprint, nicht peer-reviewed. Das Cockpit hat keine eingebaute Auth — im Homelab hinter Reverse-Proxy/SSO betreiben.

Assets 5
Loading