Mantis is currently setup via Docker or completely native. It would be good to have a setup based on Nix/Devbox. https://www.jetify.com/devbox https://nixos.org/