Tiden

Tiden cross-checks code edits generated by AI development assistants against the user's original goal before applying modifications. It targets developers wanting automated verification for agentic pull requests.