AEF – Agents State Machine
Two-commit spec repo with no working implementation or demo.

403 error blocks access — can't evaluate a project that won't load.
Researchers, philosophers, psychologists
Two-commit spec repo with no working implementation or demo.
Formal verification for LLM workflows—CTL model checking, Z3 proofs, zero hallucination math.
Protocol-level tool enforcement prevents jailbreaks better than system prompts.
Forces 13B models to solve SWE-bench tasks by making the problem smaller, not the model bigger.
Compile-time generated scheduler beats manual match-loop-state hell for complex state machines.
TLA+ model checking without learning TLA+ — build fails if spec and code diverge.