Comment by eru

Also: writing this stuff in C just begs for bugs.

LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.