This post assumed that the author of the "runs" commit was not acting maliciously. Has that been established? It's not mentioned in this article.
Also: writing this stuff in C just begs for bugs.<p>LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.