Tycho provides an open‑source, locally‑run verification tool that independently checks what AI coding agents actually do, rather than trusting their self‑reported logs. It compares claimed actions against deterministic evidence such as test results, file system state, git history, and command exit codes, producing an immutable, hash‑chained receipt for each run. The free tier handles on‑machine checks, while the Pro version can verify outcomes against external services like Stripe or Salesforce.
Funding
Funding not disclosed
Founders
Product
Problem
AI coding agents often claim to have performed actions such as refactoring code or passing tests, but their logs can be misleading or fabricated, making it difficult for developers to trust the reported outcomes.
Solution
Tycho provides a deterministic, offline verifier that independently checks the actual code changes, test executions, filesystem state, and git history against the agent’s claims. By analyzing the real artifacts—test run timestamps, AST modifications, file and commit existence—it produces an immutable, hash‑chained receipt that records the observed actions and the final verdict. The verifier runs locally with no account or telemetry, ensuring privacy, and it does not rely on any language model for the decision, eliminating hallucinations. A free open‑source tier offers unlimited local verification, while a Pro tier adds connectors to external systems (e.g., Stripe, Salesforce, databases) for enterprise‑level outcome validation.
Target Audience
Tycho is aimed at developers and teams that deploy AI coding agents in development or production environments and need trustworthy verification of the agents’ actions.
Features
- Offline, deterministic verification using git, filesystem, AST, and event streams—no LLM involvement
- Checks test freshness, provenance, assertion weakening, skip/mock injection, command execution, and file/git state
- Generates immutable, hash‑chained receipts that can be audited weeks later
- Free open‑source tier runs locally with unlimited checks and no telemetry
- Pro tier connects to external services (Stripe, Salesforce, Postgres) to verify real‑world side effects
- Hook integration with supported agents such as Claude Code for seamless operation across repositories