Consider listing in awesome-ai-plugins

[internet-dot]

This looks like a plausible fit for awesome-ai-plugins.

If you want to list it, the path is straightforward:

1. Fork awesome-ai-plugins
2. Add an entry to the closest section in README.md and follow CONTRIBUTING.md for the format
3. Open a PR

Projects listed there can also surface in HOL's plugin directory at https://hol.org/registry/plugins.

If the list is not useful for this project, no problem.