Tiden ist eine Plattform zur Absichtsüberprüfung für Entwicklerteams, die von Agenten geschriebenen Code bereitstellen, und hält versionierte Spezifikationen direkt neben dem Code vor.
Funktion und offizielle Positionierung des Produkts
Tiden analysiert Repository-Codebases, um Komponenten sowie funktionale Spezifikationen zu katalogisieren, und hebt Verhaltensweisen hervor, die noch nicht durch Tests belegt sind.
Die Plattform setzt verbindliche Arbeitsverträge während der Sitzungen von Programmier-Agenten durch und verhindert deren Abschluss, bis alle deklarierten Zusagen die automatisierte Prüfung bestehen.
Durch offizielle Quellen belegte Anwendungsfälle
Entwicklerteams, die Agenten wie Claude Code oder Cursor einsetzen, können vor dem Abschluss von Aufgaben eine Testverifizierung anhand der definierten Absichten durchsetzen.
Teams können versionierte Spezifikationen direkt neben Codeänderungen pflegen und erhalten bei jedem Merge automatisch erstellte Entwürfe für Aktualisierungen.
Der dokumentierte Ablauf, sofern verfügbar
Verbinden Sie GitHub, damit Tiden Quelldateien analysieren, Spezifikationen extrahieren und Bereiche ohne Testabdeckung kennzeichnen kann.
Legen Sie den Arbeitsvertrag und die spezifischen Verhaltenszusagen fest, die der Programmier-Agent während der Sitzung erfüllen muss.
Führen Sie automatisierte Tests aus, um jede Zusage nachzuweisen, wobei die Programmiersitzung geöffnet bleibt, bis alle Anforderungen erfüllt sind.
Prüfen Sie die Branch-Review-Ansicht, um nachzuvollziehen, welche Codezeilen geändert wurden und welche automatisierten Tests die aktualisierte Spezifikation belegen.
Überprüfen Sie Abdeckungsbewertungen auf Release-Ebene über Komponenten hinweg und leiten Sie Produktionsfehler zur Behebung an Agenten weiter.
Tiden arbeitet mit agentenbasierten Programmierwerkzeugen zusammen, indem es die Codegenerierung von der Absichtsbestätigung trennt. Wenn autonome Agenten Funktionscode generieren, zeigen bestandene Unit-Tests mitunter lediglich, dass der Code den internen Annahmen des Agenten entspricht, nicht aber zwingend den ursprünglichen Zielen des Entwicklers. Tiden begegnet dieser Diskrepanz, indem es Anforderungen in explizite Verträge aus messbaren Zusagen überführt.
Während Entwicklungs-Branches in Richtung Produktion voranschreiten, stellt Tiden die Übereinstimmung zwischen Implementierung und Verhaltensdokumentation sicher. Jeder Merge stößt Entwürfe für Spezifikationsaktualisierungen an, die Git-Änderungen mit bestehenden funktionalen Verträgen abgleichen, sodass fehlende Testabdeckungen und Regressionsrisiken direkt auf Release-Dashboards sichtbar werden.
Prüfungen mit eigenen Inhalten und Arbeitsabläufen
Welche Quellen wann geprüft wurden
Antworten auf Basis des quellengeprüften Produkteintrags
Tiden überprüft, ob von Agenten geschriebener Code die geforderten Spezifikationen erfüllt, und pflegt versionierte Verhaltensverträge parallel zu Änderungen in der Codebase.
Laut Dokumentation arbeitet Tiden mit Programmier-Agenten wie Claude Code, Cursor, GitHub Copilot und Codex zusammen.
Tiden verbindet sich mit GitHub, Jira, Linear, Notion und Azure DevOps, um Projektkontext und Codehistorie einzubeziehen.
Die aktive Programmiersitzung bleibt blockiert und kann nicht geschlossen werden, bis die verbleibende offene Zusage durch einen erfolgreichen Test nachgewiesen ist.
Tiden erstellt bei jedem Merge Entwürfe für Aktualisierungen der funktionalen Spezifikation, auch bei Merges, die direkt an der Tiden-Plattform vorbeigegangen sind.
