Tiden: verificare il codice AI rispetto ai requisiti

A cosa serve Tiden, in parole semplici?

Tiden aiuta un team di sviluppo a verificare se il software scritto da un agente realizza il comportamento richiesto. Il servizio di Qase, Inc. collega specifiche di prodotto, sessioni degli agenti, test ed evidenze di rilascio.

Se un’API deve rispondere con 429 oltre una soglia e indicare quando riprovare, una compilazione riuscita non dimostra entrambi i requisiti. Tiden rende visibile il collegamento tra le aspettative e i test che le sostengono, segnalando le parti ancora senza prova.

Specifiche versionate e modifiche da revisionare

Tiden legge il codice e organizza una mappa delle specifiche, evidenziando quelle prive di test. Le specifiche restano modificabili in Markdown e possono includere fonti, componenti, priorità e gerarchie. La cronologia consente di capire come si è evoluta una regola.

La cattura dell’intento registra le decisioni delle sessioni di programmazione e le trasforma in branch revisionabili. Il flusso mostrato sul sito parte da un accordo di lavoro con impegni da risolvere. Una persona esamina le modifiche proposte a specifiche e test prima di accettarle. Il team deve comunque controllare che le asserzioni verifichino il risultato desiderato.

Dove si inserisce nel lavoro con gli agenti

Tiden è adatto a sviluppatori, QA e responsabili tecnici che rilasciano spesso modifiche scritte da agenti. Il sito cita Claude Code, Cursor, Copilot e Codex tra gli strumenti complementari.

CLI, API REST pubblica e server MCP locale consentono di usare specifiche, test, branch e verdetti nelle automazioni. CLI e server MCP vanno aggiornati insieme per mantenere compatibile la configurazione. Requisiti ambigui e test poco significativi restano problemi da risolvere nel team.

Collegare il primo repository

La guida rapida ufficiale descrive un percorso concreto:

1. Crea o raggiungi un’organizzazione, apri un workspace e aggiungi un prodotto.
2. Installa la CLI per macOS, Linux o Windows. Esegui tiden setup per autorizzarla e associare il repository, poi tiden config verify.
3. Collega la GitHub App di Tiden ai repository scelti e controlla i permessi.
4. Crea una specifica, anche importando un file Markdown, e collegale un test.
5. Esegui i controlli e apri Traceability: verified, not_run e no_test indicano situazioni diverse.
6. Installa gli hook con tiden intent install, verifica lo stato e revisiona i branch generati dalle sessioni.

Un comportamento con un esito osservabile è un buon punto di partenza. Puoi poi estendere il modello quando le evidenze risultano utili al processo di accettazione.

Valutare la prontezza al rilascio

I quality gate combinano copertura delle specifiche, risultati dei test, rischio dei componenti, aggiornamento delle evidenze e problemi di produzione disponibili. Valutano il ramo principale, un branch o un rilascio, con esiti di approvazione, blocco o rischio accettato.

Per l’automazione, tiden gate check --product-id <product-id> restituisce un codice diverso da zero in presenza di blocchi o valutazioni del rischio ancora in sospeso. Gli errori a runtime possono essere associati a versioni e ambienti. L’esito riflette le verifiche configurate: non è una garanzia di assenza di difetti.

Prova, prezzi e dati del repository

Verifica del 15 ottobre 2026: i listini mensili pubblici in USD indicano 49 dollari per Starter e 199 dollari per prodotto per Team. Starter comprende un prodotto, fino a tre repository e 25 modifiche verificate al mese; Team ne include 100 per prodotto e repository illimitati. Entrambi offrono 14 giorni di prova; mantenendo il piano, la fatturazione parte dal giorno 15.

Una modifica verificata è una pull request unita con quality gate superato e viene addebitata una volta. Tentativi ripetuti, modifiche fallite e commit dei bot sono gratuiti. Team può aggiungere costi per modifiche e telemetria. Le evidenze restano tre mesi su Starter e dodici su Team. Consulta prezzi e calcolatore ufficiali per scaglioni e condizioni annuali: non sono importi finali in euro comprensivi di imposte.

La GitHub App legge i repository autorizzati; verifica l’accesso e proteggi i token API. La telemetria può essere filtrata con beforeSend. Leggi l’informativa privacy insieme al contratto: le fonti pubbliche esaminate non provano una garanzia generale di elaborazione solo locale o di esclusione dall’addestramento per tutto il codice cliente. Il self-hosting Enterprise è un’opzione a pagamento.

Domande frequenti

Tiden sostituisce il revisore umano?

No. Gli agenti propongono branch, mentre una persona revisiona e integra le modifiche accettate. Tiden fornisce evidenze per decidere.

I test verdi dimostrano che il requisito è soddisfatto?

Dimostrano soltanto ciò che verificano. Occorre controllare il collegamento alla specifica, le lacune e l’attualità dei risultati.

Come si parte da un repository esistente?

Crea un prodotto, autorizza il repository e configura la CLI. Collega una specifica concreta a un test e controlla Traceability prima di ampliare il flusso.

Risorse ufficiali

• Repository MCP: adattatore e istruzioni per sviluppatori.
• Registro delle modifiche: aggiornamenti del prodotto.
• Contatta Tiden: distribuzione Enterprise e verifiche di sicurezza.