Plan 5c: Models & providers page

[theaboutbox]

Summary

Plan 5c. Replaces the models route stub with a provider-focused view of the existing mapping data. No new backend — pure client-side aggregation of /api/mappings.

• KPI strip: total projects, Anthropic count, Bedrock count, distinct Bedrock regions.
• Per-project table: Team / Repo / Provider badge / Region (or red "missing" badge if bedrock without region) / Planning / Runner.
• Info banner explains that model identifiers themselves live in each target repo's WORKFLOW.md / PLANNING.md front matter — not surfaced here.
• Stub removed.
• 5 structural tests; 673 tests pass.

Plan: docs/superpowers/plans/2026-04-30-admin-models-providers.md. PR base: admin-overhaul.

Test plan

• #models shows existing projects grouped by provider in the KPIs
• A bedrock mapping without an awsRegion shows a red "missing" badge in the Region column
• Distinct region count: two bedrock projects in us-west-2 show 1 region, not 2
• Empty install (no mappings) shows the empty-state message + zeroed KPIs
• 60s auto-refresh

🤖 Generated with Claude Code