{
  "name": "Dev Tools Portal",
  "short_name": "DevTools",
  "description": "Free online developer tools — encoding, JSON, security, API, DevOps, and more.",
  "start_url": "/",
  "display": "standalone",
  "background_color": "#0b0e14",
  "theme_color": "#3b82f6",
  "lang": "en",
  "categories": ["developer", "utilities", "productivity"],
  "icons": [
    {
      "src": "/favicon.svg",
      "sizes": "any",
      "type": "image/svg+xml",
      "purpose": "any"
    }
  ]
}