Tiden is an intent verification tool for engineering teams that ship agent-written code. It reads your codebase, extracts specs for each component, and flags any promise not yet proven by a test. When code changes on a merge, Tiden automatically drafts updated specs so coverage stays current. It integrates with tools like GitHub, Jira, Linear, and Notion, and works alongside coding agents such as Claude Code, Cursor, Copilot, and Codex.