Looks like a really cool project, especially for quick no-setup use cases.

If you prefer to keep things local and open source, and your agents' notes do fit in issues, you might want to check out Epiq too, which is a local but distributable issue board synced via an event log mechanism to ensure consistency when syncing across repos: https://ljtn.github.io/epiq