Add Provider Models to Pi

把"往 pi 的 models.json 加模型"这件带判断的操作固化成可复用的执行规程。

对应 provider（leading word）：模型实际被托管/调用的 provider，以其 baseUrl/api 为准——不是模型的厂商。例：火山方舟（ark.cn-beijing.volces.com）托管了 MiniMax/Kimi，但 models.dev 里只有 minimax.io/kimi.com 厂商端点。参数必须取自对应 provider，否则 API 格式/窗口会错。

执行协议

1. 确认 Input

• 目标 pi provider：/home/cnife/.pi/agent/models.json 中已存在的 provider key，或用户要新建并命名。
• 模型清单：一个或多个模型，按 id/名称（如 minimax-m3、kimi-k2.7-code）。
• 完成标准：目标 provider 与模型清单已明确；provider 已存在或新建名已定。

2. 源定位 —— 按对应 provider（托管端点）匹配

1. 读目标 pi provider 的 baseUrl + api。
2. 用 models-dev-query 技能查 models.dev，找 api/baseUrl 与之相同的 provider：命中则取参；未命中（如方舟）则回退抓该对应 provider的官方 API 文档（web）。
3. 注意：models.dev 的厂商端点（minimax.io）与托管端点（方舟）是不同 provider，模型名相同也不能混用参数。