Backend: linting and autoformatting