@praxa/sdk.
Vercel AI SDK provides the model loop. Your backend remains responsible for
the reviewed model, token authority, and final user experience.
Prerequisites
Before you begin, prepare:- the exact published Praxa package versions used by the tutorial;
- a trusted agent host with explicit tool, approval, timeout, and output policies;
- deployment-specific OAuth or backend-owned provider clients where the selected lane requires them;
- synthetic tenant, subject, prompt, and tool fixtures for positive and adversarial tests;
- an acceptance assertion that proves the Vercel AI SDK adapter preserves exact schemas, approvals, and authoritative result readback.
1. Install the packages
2. Adapt the tools
3. Run and inspect
4. Test the integration
- Assert all expected tool names are registered exactly once.
- Assert each input schema is passed through
jsonSchema(). - Assert mutation tools require approval in your host.
- Test a token without the required scope and require a fail-closed result.
- Replay a timed-out mutation with its original idempotency key.
- Verify a returned run independently of the model’s final prose.
- Confirm tokens and tool payloads are absent from browser bundles and logs.
ToolLoopAgent reference
Review the current agent-loop contract in the official Vercel AI SDK docs.
Troubleshooting
Best practices
- Enable the smallest tool or source set needed for the workflow.
- Require approval for mutations and independently for destructive actions.
- Derive tenant, subject, purpose, and credential from trusted host context.
- Bound tool inputs, output bytes, concurrent calls, retries, and total turn time.
- Verify a run, event, trace, receipt, or source status independently of model prose.
Optimize for production
- Reduce tool definitions and provider sources to the relevant set before each turn.
- Use deterministic filtering and pagination before placing results in model context.
- Cache only versioned, non-sensitive contracts and read-only metadata.
- Measure tool-selection accuracy, approval rate, p50/p95 call latency, context bytes, retries, and verified completion.
Cleanup and next steps
- Revoke disposable delegated grants and remove test host configuration.
- Delete provider fixtures through the provider’s own lifecycle when applicable.
- Disable mutation tools until their negative and approval tests pass again after upgrades.
- Retain only redacted tool, run, trace, and receipt identifiers needed for evaluation.