Help & Resources

BASICS

Getting started with Aria

SETUP

Setting up the Aria MCP server

Connect your Cursor, Claude Code, Windsurf, or Cline editor to Aria's MCP endpoint. See /integrations for the config snippets.

ADVANCED

Multi-agent workflows

Use AriaForge to stand up a 5–20 agent team with typed roles (Architect · Engineer · Inspector · Registrar) to ship a single mission together.

BRIDGEVOICE

Voice-driven development

Two ways to talk to Aria: the dedicated phone line (brainstorm out loud) and SuperWhisper push-to-talk into any pane. See /voice-ui.

WORKFLOW

Task management & the Board

The 5-state lifecycle (INTENT → BUILD → REVIEW → SHIPPED → CLOSED) with role-typed column owners. The kanban surfaces accountability at a glance.

SKILLS

Using the Aria Skill Index (ASI)

Drag any skill card from the right-sidebar Skills tab onto a terminal to paste its prompt. 14 production skills bundled at Elite tier.

I configured the MCP server but my editor says it can't connect. What should I check?

Verify the JSON snippet at /integrations is in the right per-editor config path (different per editor: ~/.cursor/mcp.json, ~/.claude/mcp.json, ~/.config/cline/cline_mcp_settings.json). Restart the editor after writing the config. Then ask your agent "list my Aria projects" — if the response uses the list_projects tool, the connection is live.

Can I run multiple agents on the same project at the same time?

Yes — that's the point of the workspace's pane grid. Up to 16 panes per project, each running an independent agent CLI. Use the handoff dropdown on each pane header to switch agents while preserving context. For a true multi-agent team, use AriaForge.

How do I create a scoped API key for a specific project?

Your provider keys (Anthropic, OpenAI, Grok, Gemini) stay on your own machine — Aria is runner-local and never stores them on our servers, so there's no server-side key manager to add them to. Set each key in your environment / provider config on the machine where aria-runner runs, and the runner uses your key locally per project. Connect it from the runner setup.

Why does the Inspector need to approve before Shipped?

Doctrine: every shipped action gets a SentinelPass JWT-VC receipt signed with our ed25519 issuer key. The Inspector's approval is the human-or-agent gate that authorizes the seal. Skipping review = no receipt = no audit trail = no sovereignty.

How does billing work? What happens if I cancel?

Subscription tiers ship monthly + annual cadences via Stripe. Billing portal at Settings → Billing lets you cancel any time. On cancel, your subscription ends at the close of the current period and ASI skills stop being accessible; your data stays.

Where can I report a bug or request a feature?

Email support@insynctech.io with the subject line "Aria bug" or "Aria feature." Every report lands in our ops_log within an hour.

What's the difference between Aria Skill Index (ASI) and Aria Private Skill Repo (PSR)?

ASI is the user-facing brand for the skill library — what shows up in the right-sidebar Skills tab and at /skills. PSR is the gated GitHub repo where the skills physically live. Same library, different surfaces. All skills require Elite tier.

Connecting your AI provider

Two paths. Both are first-class. Pick whichever matches how you already pay for AI.

🔑 Developer API key (BYOK)

You mint a key from your vendor's developer console and paste it into Aria. We charge nothing on top. Pay-per-token at vendor MSRP.

Where to get a key:

Anthropic Claude: console.anthropic.com/settings/keys — key starts with sk-ant-
OpenAI GPT/Codex: platform.openai.com/api-keys — NOT chat.openai.com (different product). Key starts with sk-proj- or sk-.
xAI Grok: console.x.ai — key starts with xai-
Google Gemini: aistudio.google.com/apikey — key starts with AIza

After you have a key:

Go to Settings → API Keys in the workspace
Paste the key in the box for your vendor
We ping /v1/models with it — green check if it works, clear error if not
Keys are held by your local runner — we don't store them on our servers

💎 Existing subscription (Claude Pro / ChatGPT Pro)

Already paying for Claude Pro/Max or ChatGPT Plus/Pro/Team? Don't open a new payment relationship. aria-runner bridges your local CLI session into Aria. Your subscription pays.

How it works:

Install the vendor's CLI on your machine (one npm install)
Sign in with the CLI (claude login / codex login) — OAuth, browser-based
Install aria-runner — a small Python script that opens a WebSocket to Aria
Run aria-runner (works in tmux/screen so it survives terminal closes)
Aria's calls route to your machine, your CLI runs them, your subscription pays

What's supported:

Anthropic Claude Pro/Max — via claude CLI (Claude Code)
OpenAI ChatGPT Plus/Pro/Team — via codex CLI
Both work on the same runner. Aria picks the right one per call.
xAI Grok / Google Gemini — no subscription path today (vendors haven't shipped one). Use API key for these.

Hand-holding walkthrough: /connect/openai walks you through ChatGPT in six steps. Anthropic walkthrough is built into the Pro Plan card at /onboarding/credit-source.

Why "subscription" and "API key" aren't the same thing

Most vendors sell two distinct products under the same brand. Claude Pro / ChatGPT Plus are chat subscriptions — they include access to the vendor's first-party app + their CLI (Claude Code / Codex). Developer API keys are a separate product, billed per token, accessed via the vendor's api.* endpoints. A ChatGPT Plus account's auth token returns HTTP 403 against the OpenAI Platform API — they're not interchangeable. Aria supports both paths because most people are paying for one and don't realize the other exists.

Do I need to keep my machine on?

Only if you're using the subscription / aria-runner path. The runner is a local WebSocket; if your machine sleeps or disconnects, Aria can't reach your CLI session and the call returns an error with a "your runner is offline" message. BYOK keys are cloud-only — no install, no machine dependency.

Can I use both paths at once?

Yes. You might use Pro Plan for heavy daily Claude work (cheaper) and a BYOK xAI key for Grok-specific tasks. Settings → Billing lets you set a preferred path per vendor.

Full Documentation