Deletion of some Community Assets

As many of you have already noticed, on 25. December some of our community assets have been deleted, most notably our GitHub organisation and the Discord server.

While we are still working on resolving this situation (support queries also move slowly during this time of the year), we want to summarise the status of our assets below. We can also confirm that we have tightened security and eliminated the previous attack vector for our remaining assets.

Most importantly: the distributed library has not been compromised, pip install manim / uv add manim still work the same as before.

• ❌ https://github.com/ManimCommunity -- deleted
• ❌ https://manim.community/discord ~ "old" Discord server -- deleted, unlikely to return
• ❌ https://x.com/manim_community -- deleted/suspended and unlikely to return
• 🔁⌛️ https://manim.community -- temporarily replaced
• ⬇️⌛️ https://try.manim.community/ -- temporarily down (attached to the GitHub org)
• ☑️ https://docs.manim.community -- documentation
• ☑️ https://reddit.com/r/manim -- Manim Subreddit
• ☑️ https://bsky.app/profile/manim.community -- Manim @ BlueSky
• ☑️ https://pypi.org/project/manim/ -- PyPI project ("pip install manim")
• ☑️ https://hub.docker.com/orgs/manimcommunity/repositories -- Manim Docker images

To at least temporarily remedy the situation with the deleted assets, we have setup a repository with the latest main + experimental branch on Codeberg at https://codeberg.org/ManimCommunity/manim, and a new Discord server at https://manim.community/discord/.

As for our social media channels, outside of Reddit you can find us...

• as manim.community on BlueSky, https://bsky.app/profile/manim.community
• as manimcommunity on X/Twitter, https://x.com/manimcommunity
• as manim_community on Instagram, https://www.instagram.com/manim_community/
• as manimcommunity on YouTube, https://www.youtube.com/@manimcommunity

We'll post updates as soon as we have secured more information about this incident; transparency is important to us. At this time, we are optimistic to get the GitHub organisation restored – but the old Discord server is very likely lost.

With best wishes from the dev team, Ben