Welcome to Syndai

Most coding agents hand you a diff and an air of confidence. The hard part was never writing the code. It is knowing whether the code does what you asked.

What is Syndai?

Syndai takes a written specification and returns a pull request. You write the change you want and the conditions that would tell you it worked. Syndai builds it in an isolated sandbox against your repository. It runs the checks. It can then issue a signed receipt that ties each checked condition to its validator and checked file tree.

What we do not claim yet

One thing is deliberately missing, and we would rather you hear it from us.

Work is checked inside the same sandbox that produced it. A fresh sandbox does not run the checks again. The signature shows that Syndai issued the receipt. It does not turn the authoring environment into an independent one.

That limit stays visible on the receipt. A condition nobody checked and a condition with a passing check are not the same thing. The full table of what we may and may not claim is published at /claims.

Getting Started

Anyone can sign up and start free. Each run does real work against a real repository, so start with a change you would hand a teammate and read the pull request it sends back.

What's Next

The next trust step is the independent verifier. It will rerun the work in a fresh environment the authoring agent never touched.