{
  "name": "推验有理 - Formal Derivation",
  "short_name": "推验有理",
  "description": "数学思想专业软件 — 定理图谱、交互式证明、符号计算、AI 数学对话",
  "start_url": "/?utm_source=pwa",
  "display": "standalone",
  "background_color": "#f8fafc",
  "theme_color": "#4f46e5",
  "orientation": "any",
  "categories": ["education", "mathematics", "productivity"],
  "lang": "zh-CN",
  "dir": "ltr",
  "scope": "/",
  "icons": [
    { "src": "/icons/icon-192.svg", "sizes": "192x192", "type": "image/svg+xml" },
    { "src": "/icons/icon-512.svg", "sizes": "512x512", "type": "image/svg+xml" },
    { "src": "/icons/icon-192-maskable.svg", "sizes": "192x192", "type": "image/svg+xml", "purpose": "maskable" },
    { "src": "/icons/icon-512-maskable.svg", "sizes": "512x512", "type": "image/svg+xml", "purpose": "maskable" }
  ]
}