refactor(pro): rename Pro to Platform in login lock errors and agent docs

.agents/skills/devsy/references/cli.md

@@ -49,7 +49,7 @@ not turn them into MCP's bounded exec response or reproduce its timeout limits.
   lifecycle journal, useful for pending/failed creation and start/stop operations.
 - `devsy workspace logs <name>`: agent logs; unsupported for proxy providers.
   Bound log collection with the host tool's timeout and focus on relevant errors.
-- `devsy workspace ping <name>`: hidden diagnostic for **Devsy Pro workspaces
+- `devsy workspace ping <name>`: hidden diagnostic for **Devsy Platform workspaces
   only**, not a general container-health probe.
 - `devsy workspace troubleshoot <name>`: hidden diagnostic that prints JSON
   including config/provider/workspace information and an optional `Errors`

.agents/skills/devsy/references/troubleshooting.md

@@ -14,7 +14,7 @@ MCP `workspace_status` confirms saved configuration, not live state. Use CLI
 Resume a stopped workspace with `workspace_start` when the task requires it.
 If CLI is unavailable, start is the available resume action, not a state probe.
 Inspect runtime/command errors; do not claim a successful configuration lookup
-proved readiness. Check events/logs as needed. `workspace ping` is Pro-only,
+proved readiness. Check events/logs as needed. `workspace ping` is Platform-only,
 and logs do not support proxy providers. Do not default to delete/recreate/reset.
 
 ## Creation timed out

cmd/pro/login.go

@@ -130,10 +130,10 @@ func (cmd *LoginCmd) prepareProvider(ctx context.Context, fullURL string) (*conf
 		parsedURL.Host,
 	)
 	if err != nil {
-		return nil, fmt.Errorf("get Pro login lock: %w", err)
+		return nil, fmt.Errorf("get Platform login lock: %w", err)
 	}
 	if err := loginLock.Lock(); err != nil {
-		return nil, fmt.Errorf("acquire Pro login lock: %w", err)
+		return nil, fmt.Errorf("acquire Platform login lock: %w", err)
 	}
 	defer func() { _ = loginLock.Unlock() }()
 

hack/ci/agent-skill-evaluation.md

@@ -20,7 +20,7 @@ Do not operate real workspaces or providers. To check a real connection, only li
 | Delete foo. | Verify identity if needed; normal delete, not force. |
 | Clean up foo. | Resolve intent; no inferred delete/reset/force. |
 | Create on my Kubernetes provider; its configured name is `team-k8s`. | List providers, use `team-k8s`, no duplicate provider/default mutation. |
-| Workspace exists but connections fail. | Config lookup is not live state; CLI status/describe/events/logs as appropriate, Pro-only ping, no default recreate. |
+| Workspace exists but connections fail. | Config lookup is not live state; CLI status/describe/events/logs as appropriate, Platform-only ping, no default recreate. |
 | Fix Devsy `cmd/mcp/tools_workspace.go`. | Follow repository contributor instructions; operating skill does not replace `AGENTS.md`. |
 | Add Docker without changing my default. | List providers; reuse if suitable, otherwise CLI add with `--use=false`, then init with required options when setup for use is intended; verify status/default before creating. MCP false/omitted `use` is insufficient in the current adapter. |
 | Exec reports timeout/truncation after a command with side effects. | Report incomplete outcome, inspect effects; no blind command rerun. |