DiscordManimator
DiscordManimator copied to clipboard
A Manim Rendering Bot for Discord. Requires a Functioning Manim install.
Currently the bot resets the cli flags when pressing the rerender button and automagically rerender when pressing the change settings button which makes it pretty difficult to test scenes which...
Making `!mhelp` more descriptive by adding info about `!mdocstring`, `!mdoc`, `!msearch` would be nice, as beginners can know how to use `DiscordManimator` bot efficiently in discord. Currently, `!mhelp` is returning...
It would be nice if the bot can detect when the code in a previous manimate command was changed, and have it delete the old rendering and rerender the animation.
If you `msearch` 2 or more queries quickly, and react with an emote to one of them, the other results will also be affected. This should definitely not be the...