Tinstar

The rules a project writes in plain language (AGENTS.md) become checks that run without an LLM in the terminal, the editor, CI and AI agents' loops. An LLM drafts the laws once, and each one is tested against examples and the project before it is approved.