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.
HEXACO psychometrics for agent state—novel approach no other agent framework uses.
Formal verification for LLM workflows—CTL model checking, Z3 proofs, zero hallucination math.