Yoetz - Check to see if AI really completed a task or if it had gaps

Hello Product Hunt! 👋 I am Daniel and with my cofounder Shay we are building Yoetz.

I was using coding agents to tackle challenges such as problem sets, proofs and edge cases. In these tasks missing a condition can quietly destroy the whole solution. The agents could handle much of the algebra and the scaffolding. I still kept finding small errors: a case that was left unhandled a constraint that never appeared in the final write‑up or a declaration of "done" that still did not match the problem I had posed.

I wanted to focus on the mathematics itself not spend time checking whether the agent had really followed every step.

Shay was facing the issue while compiling a large Nasdaq‑related database for his university research. Both of us saw how powerful these tools can be. We wanted to help them follow through without having to keep nudging the agents ourselves.

That is why we built Yoetz. Building Yoetz felt a lot like sitting beside a proof that the agent had already declared complete.

We used coding agents such as Codex, Claude Code and Cursor to write the product. These are the tools that we were trying to keep honest. On paper that sounds neat but in practice it meant sitting to a collaborator that can move a thousand files and spending the day teaching it not to congratulate itself.

We did not start with a demo. We began by writing down what the product was never allowed to say. We created hundreds of specification files then built in waves. Once the code existed we retired the specifications so we would not have two sources of truth. A coding agent will happily finish a sentence you did not mean to start. In a proof that is the step that looks right and is not. Someone has to remain the author of the shape.

The good days were when a check returned a finding. The agent says "tests pass,". The recorded run happened before its latest change.. It says the solution covers every case and the record shows the boundary you asked for was never checked. Yoetz flags that stale or missing evidence so the agent has to go. That is the feeling we were chasing: not "the agent is wrong " but "this claim is not yet supported."

Yoetz is not another coding agent. It works alongside your agent using tools and supported hooks to record evidence of work and to check what supports the agent’s claims. It combines checks with optional model‑powered review then returns findings that the agent can address.

Yoetz does not guarantee a proof or correct code. It shows what was checked what was not checked and what still needs attention. Everything stays on your machine unless you say otherwise.

We even had to write that rule down for ourselves. Sometimes we ran Yoetz on the work of building Yoetz got a ledger and an honest receipt and the agent still had not changed the work. An honest receipt is not the same as "Yoetz helped." If you are going to build a product about not overclaiming you cannot overclaim about building it.

Yoetz is source and local‑first with integrations, for Codex, Claude Code and Cursor. It is still early.

We would love for you to try Yoetz on a task. A proof, a problem set or a programming assignment. And tell us what it catches, what it misses or where it gets in your way.

What do you still find yourself checking after your coding agent says the solution is finished?

I tried the product - looks cool. Does the job.

"Your agent says done" is the sentence I hear in my head every time I ship agent output to a customer. The receipt idea — what was verified, at what coverage, what's still open — is the right shape; most eval tooling gives you a score, not an open-items list. Question: how do you handle work that isn't code? Our agent at AskDeck produces a deck and a narrated video, and "done" there means things like every slide has speaker notes, the numbers match the source doc, the video matches the final revision. Could Yoetz take a custom checklist like that, or is it built around repo-level evidence?