Plugins by mutable-state-inc

Multi-agent collaborative theorem proving with LeanTree and Ensue Memory Network

Persistent memory layer for AI agents. Store, recall, search, and share memories with semantic search. Triggers on 'remember', 'recall', 'search memories', 'update memory', 'share', 'subscribe', 'permissions'.