The Onyx Foundry

The Onyx Connector

Connect Claude — or any MCP client — to your own Onyx server · self-hosted · setup & usage

The connector links an MCP client to your Onyx deployment. Policies, requests, decisions, certificates, and the audit trail all live on your infrastructure — nothing routes through The Onyx Foundry. See the privacy policy.

What you need

Connecting from Claude

  1. Start your Onyx gateway with the MCP transport enabled and note its HTTPS URL.
  2. In Claude, open Settings → Connectors → Add custom connector and enter your server's URL.
  3. Ask Claude to use an Onyx tool — for example one of the prompts below. Decisions and verifications run on your server; results, certificates, and trail records stay there.

Tools

Gating tools decide an action and append a record to the hash-chained audit trail; verification and audit tools are read-only.

ToolDoesAccess
gate_actionDecide one authorization request against your policy set — fail-closed, with the decision proved.writes trail
gate_tool_callDecide whether an agent tool call may proceed — the runtime gate for agent stacks.writes trail
gate_transactionDecide a custody-style transaction (ordered rules, first match, quorum approvals) with the quorum report.writes trail
verify_policiesVerify assert/obligate properties over all requests — counterexamples on violation, certificates on pass.read-only
verify_tx_policyVerify custody-policy safety properties (e.g. no single signer) with witness transactions and a certificate bundle.read-only
verify_claimProve or refute premises ⊢ conjecture; a non-theorem returns a concrete countermodel.read-only
check_smtDecide satisfiability over the built-in theories; every unsatisfiable answer carries a re-checkable certificate.read-only
audit_proofStep-by-step audit of an external prover's proof (TSTP or Alethe format), verdict per step.read-only

Example prompts

Data handling

The connector reads (verifications, proofs, audits) and writes (audit-trail records from gating decisions) — entirely on your server. Onyx decides whether actions and transactions comply with your declared policy; it never initiates or executes transactions or moves funds.

Support

contact@onyxfoundry.ai · security reports: security.txt