return {
  -- highlighting for the viper verification language
  "tiyn/viper.nvim",
  ft = { "viper" },
  opts = {},
}