Banish: A declarative framework for rule-based state machines in Rust
Compile-time generated scheduler beats manual match-loop-state hell for complex state machines.
Open-source runtime for persistent AI avatars — HEXACO personality, episodic memory, dual-process chat, MCP for Cursor, and Soul Studio for building .soul.json souls.
HEXACO psychometrics plus dual-process chat is ambitious avatar infrastructure.
Developers building AI avatars or persistent agents, AI hobbyists
Character.ai · Replika · LangGraph
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.
Stateful detection across sessions beats single-message guardrails used by Lakera and Protect AI.
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.