← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

Tiden

tiden.ai

Intent verification for coding agents

Visit tiden.aiexternal site

In the makers' words

Tiden verifies your coding agents built what you actually asked for.

Reactions (1)

Similar products

by description similarity

  1. Lemmafit

    Make agents prove that their code is correct

    github.comOpen source2 reactionslatest reaction

    Hacker News
    7 pts
    GitHub
    68 stars

  2. Akmon

    a Rust AI coding agent for regulated engineering

    github.comCLIOpen source2 reactionslatest reaction

    Hacker News
    5 pts
    GitHub
    36 stars

  3. Implement-spec

    a harness-agnostic spec-to-verified-PR agent skill

    github.comOpen source2 reactionslatest reaction

    Hacker News
    12 pts
    GitHub
    16 stars

  4. mini-coding-agent

    Minimal and readable coding agent harness implementation in Python to explain the core components of coding agents.

    github.comOpen sourcelatest reaction

    Hacker News
    No reaction
    GitHub
    1,224 stars

  5. Coding agent that compiles intent into deterministic DAG before running

    Control consequential AI-agent actions, from financial transactions and database migrations to dependency upgrades and production changes, before they execute, and retain evidence of every decision.

    github.comOpen source2 reactionslatest reaction

    Hacker News
    14 pts
    GitHub
    19 stars