Product tour

Intent verification for coding agents

Your agents write the code.
Tiden verifies it does what you actually asked for.

app.tiden.ai/northstar/releases/2026.09.24
Release 2026.09.24 · Quality gate

Refunds for annual plans

Verified
6
specs changed
6 verified
34
tests selected by impact
34 passed
0
production issues in scope
since last release
1
awaiting your approval
fix PR #482
Annual plans are refunded prorated to the dayrefund.go · Billing.tsx3 tests passed
Refunds after 30 days need a manual approvalrefund.go2 tests passed
Refund of a cancelled annual plan never failsrefund.go:118fix PR #482 · awaiting approval

Snapshot

It connects to your repos and product tools.

From them Tiden builds a picture of how your product works today: its components, specs and tests, anchored to the code.

northstar/web
TypeScript · 1,204 files
northstar/api
Go · 2,318 files
northstar/billing-service
Go · 396 files
northstar/ios
Swift · 812 files
Jira
NS board · 312 issues
Error tracking
3 environments
Product snapshot · northstarupdated 2 min ago
▾Web app48 specs · 212 tests
Checkout12 specs · 61 tests
Account & billing9 specs · 40 tests
▾API66 specs · 318 tests
Refunds7 specs · 22 tests
Invoicing14 specs · 77 tests
▾Billing service23 specs · 96 tests
▾Mobile31 specs · 120 tests
168 specs anchored to 4,730 files across 4 repositories

Intent

It captures what you asked for.

Session hooks record the request before the agent writes a line. The change lands as a spec a person reviews.

$ tiden intent start "Refunds for annual plans"
Opening a session · northstar · 4 repositories

Working contract
In scope Billing › Subscriptions › Refunds 3 specs
Impact api/billing/refund.go
web/account/Billing.tsx
Coverage 2 of 3 covered · gap: prorated refund

Your agent now builds against this contract.
Spec change · from this sessiondraft
Customers can request a refund within 30 days.
+ Annual plans are refunded for the unused months,
+ prorated to the day.
Refunds after 30 days need a manual approval.
Tests · written for the change3 passed
refund_prorated_annual
refund_after_30_days_requires_approval
refund_monthly_unchanged

Live specs

It keeps the spec true to the code.

Every merged change updates its specs and their tests, so each spec matches the code that actually landed.

main · northstar/api
a91f2cProrate refundsspec updated
77be04Refund reasonsspec updated
c03d1aRound currencyno spec change
5e8a90Refund audit logspec updated
b12d77Go 1.26no spec change
Refund policy · Billing › Subscriptions live · 2 min ago

Customers can request a refund within 30 days of a charge. Monthly plans are refunded in full.

- Annual plans are refunded in full within 14 days.
+ Annual plans are refunded for the unused months,
+ prorated to the day.
Refunds after 30 days need a manual approval.
Anchored to api/billing/refund.go · web/account/Billing.tsx · 5 tests · changed by commit a91f2c

Closed loop

It turns production issues into specs.

Tiden ties each exception to the release and the change. An agent drafts the spec, the test and the fix, then stops for your review.

Issue #2931 · production143 events
NullPointerException: plan.cancelledAt RefundService.apply · refund.go:118
first seen 09:12 · web, api · deviates from Refund policy
Spec added · Billing › Refundsspec
Refunding a cancelled annual plan returns the prorated amount and never fails.
Regression test addedfails on main · passes on fix
refund_cancelled_annual_plan api/billing/refund_test.go
Fix PR #482 · Handle cancelled annual plans in RefundServiceawaiting your approval
+18 −4 · 2 files 36 checks passedApprove and merge

Less context

Agents read only what a change touches.

Tiden hands the agent the slice of the product that matters, so it spends less re-reading as the product grows.

Caught early

Conflicting changes surface before they ship.

Two agents touching the same spec see each other’s change, and the conflict is resolved on the branch.

Conflict · Refund policy §2, changed on two intent branchesresolved before release
agent A adds reason codes to the refund recordintent/2026-09-24-reason-codes
agent B prorates annual refunds to the dayintent/2026-09-24-prorate
Both rewrite §2. Tiden merged the spec, agent B re-ran 7 tests, you approved the merge.

Next step

Put it on your repo.

Works beside Claude Code, Cursor, Copilot and Codex. Tests live in your repo. Self-hosted available.

curl -fsSL https://tiden.ai/install.sh | bash

or write to hello@tiden.ai