Qorx

Qorx Community command reference

This reference assumes the binary is built from source.

cargo build --release

Use .\target\release\qorx.exe help for the live command tree.

Proof Check

Run this before publishing Community Edition claims:

cargo fmt --check
cargo test
cargo clippy --all-targets -- -D warnings
cargo build --release
.\target\release\qorx.exe --version
.\target\release\qorx.exe doctor --json
.\target\release\qorx.exe index .
.\target\release\qorx.exe b2c-plan "language runtime proof" --budget-tokens 900
.\target\release\qorx.exe strict-answer "language runtime proof"
.\target\release\qorx.exe security attest
.\scripts\safer-check.ps1 -Exe .\target\release\qorx.exe
.\scripts\check-testsprite-enterprise.ps1

Language

.\target\release\qorx.exe qorx .\goal.qorx
.\target\release\qorx.exe qorx-check .\goal.qorx
.\target\release\qorx.exe qorx-compile .\goal.qorx --out .\goal.qorxb
.\target\release\qorx.exe qorx-inspect .\goal.qorxb
.\target\release\qorx.exe qorx-prompt .\goal.qorx
.\target\release\qorx.exe lexicon

Minimal source:

QORX 1
let question = "which files explain how Qorx keeps local evidence outside the model prompt?"
pack evidence from question budget 700
cache evidence key question ttl 3600
strict answer from evidence limit 2
assert supported(answer)
emit answer

Evidence

.\target\release\qorx.exe index .
.\target\release\qorx.exe search "language runtime proof"
.\target\release\qorx.exe strict-answer "language runtime proof"
.\target\release\qorx.exe b2c-plan "language runtime proof" --budget-tokens 900
.\target\release\qorx.exe pack "language runtime proof" --budget-tokens 1200
.\target\release\qorx.exe squeeze "language runtime proof" --budget-tokens 700
.\target\release\qorx.exe judge "Qorx is a local context resolver."

Reports

.\target\release\qorx.exe doctor --json
.\target\release\qorx.exe stats
.\target\release\qorx.exe stats reset
.\target\release\qorx.exe adapters
.\target\release\qorx.exe adapters init
.\target\release\qorx.exe adapters add typescript --kind language_server --cmd typescript-language-server
.\target\release\qorx.exe adapters reload
.\target\release\qorx.exe adapters remove typescript
.\target\release\qorx.exe science
.\target\release\qorx.exe security attest
.\target\release\qorx.exe security verify
.\target\release\qorx.exe bench

Production Language Adapters

Qorx keeps .qorx as the native language, but production teams can point Qorx at the tools they already use. The adapter manifest is re-read by adapters, adapters reload, and science, so a team can swap external language/runtime tools without rebuilding the Qorx binary.

.\target\release\qorx.exe adapters init
.\target\release\qorx.exe adapters manifest
.\target\release\qorx.exe adapters add typescript --kind language_server --cmd typescript-language-server
.\target\release\qorx.exe adapters add python --kind language_server --cmd pyright-langserver
.\target\release\qorx.exe adapters add rust --kind language_server --cmd rust-analyzer
.\target\release\qorx.exe adapters add team-router --kind provider_route --url http://127.0.0.1:8080
.\target\release\qorx.exe adapters reload

This is a small production seam, not a dynamic-library plugin system. Qorx keeps its compact language, index, bytecode, and proof logic in-core. External tools stay outside the binary and can be changed by updating the manifest.

Qorx Ayie Commands

The CE binary explains that these commands live in Qorx Ayie:

bootstrap
daemon
tray
startup
drive
hot
integrate
run
patch

Those commands belong to Qorx Ayie because they provide the official local runtime experience: background gateway, tray, account activation, provider routing, startup integration, and managed local vault behavior.

Ayie exposes a monitor and tray action named Turn on MCP + hooks. That action repairs all known platform wiring in one pass. Managed hooks are available for Codex, Gemini CLI, and Claude Code. Antigravity, OpenCode, Copilot CLI, VS Code Copilot Chat, Aider, and Cursor are MCP-only unless those clients expose a supported hook surface. Other agent clients can use the local hook kit when their own loader supports it.

Qorx Ayie Starter lets new accounts use the same Ayie/Cloud command surface on Windows, macOS, and Linux with 5,000 included Ayie/Cloud requests. Local CE commands remain unmetered.

Edition Note

Community Edition is a source-build CLI. Do not describe a self-built CE binary as the official Qorx local product.

This site is open source. Improve this page.