[BOT ISSUE] fix: add missing Bedrock model deepseek.v3-v1:0 (DeepSeek V3.1)

[github-actions]

Missing model

The model deepseek.v3-v1:0 (DeepSeek V3.1) is available on Amazon Bedrock but absent from the model catalog (packages/proxy/schema/model_list.json). The catalog has no Bedrock-format DeepSeek entries at all. Issue #528 covers deepseek.v3.2 (V3.2) separately; this issue is specifically for the V3.1 model.

DeepSeek V3.1 is a 685B-parameter mixture-of-experts model with strong performance across coding, math, and general reasoning tasks. It was announced as generally available on Bedrock in September 2025 and remains actively listed with no end-of-life date.

Model details

Field	Value
Model ID	deepseek.v3-v1:0
Format	converse
Flavor	chat
Display name	DeepSeek V3.1
Max input tokens	128000
Max output tokens	8000
Available providers	["bedrock"]

Verification checklist

• Cross-source confirmation: Model confirmed on (1) AWS Bedrock model card with model ID, context window, and max output tokens, (2) AWS "What's New" announcement confirming GA availability, and (3) Bedrock pricing page listing DeepSeek V3.1 pricing.
• Recent commits check: No deepseek.v3 or deepseek.r1 Bedrock-format entries exist in model_list.json.
• ID format validation: Follows Bedrock naming convention (provider.model-version:revision), consistent with existing entries like meta.llama3-3-70b-instruct-v1:0 and amazon.nova-pro-v1:0.

Verification notes

Field	Source
Model ID (deepseek.v3-v1:0)	Bedrock model card — Programmatic Access table
Context window (128K), max output (8K)	Bedrock model card — Model Details section
GA availability	AWS What's New
Pricing confirmation	Bedrock pricing page — DeepSeek section

Fields NOT verified from official sources:

• input_cost_per_mil_tokens / output_cost_per_mil_tokens — The Bedrock pricing page lists region-specific pricing (e.g., Asia Pacific Sydney: $0.5974/$1.7304 per 1M tokens). US-region pricing was not extractable from the pricing page. The downstream fix job should retrieve the US East (N. Virginia) standard tier pricing directly.
• multimodal — The model card shows text-only input/output. Not multimodal.
• The model also has a bedrock-mantle Chat Completions API endpoint with ID deepseek.v3.1. The downstream fix job should consider whether a separate entry is needed for this endpoint.

Regional availability

Available in-region in: us-east-1, us-east-2, us-west-2, eu-north-1, eu-west-2, ap-northeast-1, ap-south-1, ap-southeast-2, ap-southeast-3, ap-southeast-4, sa-east-1.

{
  "kind": "missing_model",
  "provider": "bedrock",
  "models": ["deepseek.v3-v1:0"],
  "status": "active",
  "model_specs": {
    "deepseek.v3-v1:0": {
      "format": "converse",
      "flavor": "chat",
      "displayName": "DeepSeek V3.1",
      "max_input_tokens": 128000,
      "max_output_tokens": 8000,
      "available_providers": ["bedrock"]
    }
  },
  "source_urls": [
    "https://docs.aws.amazon.com/bedrock/latest/userguide/model-card-deepseek-deepseek-v3-1.html",
    "https://aws.amazon.com/about-aws/whats-new/2025/09/deepseek-v3-1-model-fully-managed-amazon-bedrock/",
    "https://aws.amazon.com/bedrock/pricing/"
  ]
}