A few friends and I have worked on this project off and on for a while now. The original idea was to create a bot for matrix but we ended up building a more general library for encoding bot behaviors as Mealy Machines that can be tensored together in a bunch of cute ways to build more complex bots. Those bots can then be run against a protocol encoded as a Moore machine.
I feel strongly that this is a the right model for a lot of potential applications, including an agentic harness for LLMs (which I have not tried yet).
Co-Alegebraic Chat Bots in Haskell [Not AI] · HackerTrans
I feel strongly that this is a the right model for a lot of potential applications, including an agentic harness for LLMs (which I have not tried yet).