1 month ago
Tues Jan 13, 2026 11:17am PST
Show HN: Theus – I built a framework to make AI-generated code safe to run
Hi HN,

AI is writing a lot of our code now, but here’s what keeps me up at night: AI is great at logic, but terrible at state safety. An LLM can write a perfect-looking function that accidentally nukes your global state or creates a race condition you'll spend a week debugging.

I built Theus because I wanted to stop worrying.

The philosophy is simple: Data is the Asset. Code is the Liability. Theus acts like a "safety container" for your logic (especially code written by AI). It enforces a few strict rules:

Zero-Trust: A process can’t see anything it didn't explicitly ask for in its contract.

Shadow Copies: Code never touches your "real" data directly. It works on copies. If the logic fails or breaks a rule, Theus just throws the changes away.

Audit Gates: You define the "red lines" (like balance can’t be negative) in a simple YAML. The framework blocks any commit that crosses them.

I’ve been using it to build AI agents that I can actually trust with "write" access. It’s not about making code faster; it’s about making it right, and being able to sleep at night.

I'd love to hear what you think about this "Process-Oriented" approach. Thanks!

read article
comments:
add comment
loading comments...