Autonomous Procurement • Arc & Circle Track

An agent that uncovers spend inefficiencies, negotiates them away, and executes the financial decision.

Tavryn autonomously monitors SaaS and cloud renewal cliffs, negotiates multi-round concession curves, enforces deterministic financial policy, and escrows USDC on Arc smart contracts until vendor delivery is verified.

Try the demo Watch Video Walkthrough GitHub Repo Public Proof

Live Interactive Demo:Clicking "Try the demo" opens the sign-in page with pre-filled demo credentials ready for 1-click testnet exploration.

Waste Identified

$1,500

Negotiated savings identified across verified production contracts.

Negotiation Yield

1.3% Avg

Aggregate concession yield across all active and benchmarked contracts.

Deterministic Policy

100%

91 autonomous decisions logged under deterministic code. 0 LLM approvals.

Arc Escrow

$144,000

Testnet USDC committed to multi-party escrow agreements.

Reconciled live from postgres audit telemetry and Arc Testnet contracts.

Explore public protocol telemetry on /public-metrics

Autonomous Loop

How Tavryn Runs Procurement End-to-End

The loop connects real software consumption data directly to on-chain capital allocation without human micromanagement.

Step 01

Detect Inefficiencies & Renewal Cliffs

Continuously monitors subscription renewal dates and correlates active user seats against provisioned licenses. Flags underutilized contracts 45 days in advance.

Seat audit & usage-decline heuristics

Step 02

Autonomous Multi-Round Negotiation

Engages vendor account reps or API simulators with counter-proposals. Uses business memory of past accepted discounts and strictly enforces walk-away price ceilings.

Vendor memory & concession curves

Step 03

Policy Check & Arc Escrow Release

Server-side deterministic code checks company spending policies. Escrows USDC on Arc via Circle developer wallets, audits the order confirmation, and releases payment.

Arc Smart Contract + SHA-256 Idempotency

Zero-Trust Security

The LLM Decides. Deterministic Code Acts.

Tavryn is architected to protect your corporate treasury from rogue LLM hallucinations, prompt injections, and API retries:

Deterministic Policy Engine

Pure TypeScript code evaluates transactions against spending ceilings. The agent cannot approve its own disbursements.

Cryptographically Chained Audit Trail

Every tool call and action is hashed with SHA-256 to the previous block and protected by database triggers that reject any UPDATE or DELETE.

Tamper-Proof Escrow Settlement

Payments require 4-field document matching (price, seats, terms, renewal date) before escrow releases funds on Arc.

Explore Cryptographic Audit Ledger

Tavryn Verification Pipeline

Arc Testnet

// 1. Deterministic Policy Check
const policyDecision = checkPolicy({
  amount: 6912,
  category: "software",
  savings: 2688
}, policy, treasuryBalance);

// 2. Escrow USDC on Arc via Circle Wallet
const escrow = await create_escrow({
  contractId: "slack-renewal-uuid",
  amount: 6912,
  vendorWallet: "0x7099...79C8",
  idempotencyKey: sha256(...)
});
// Tx: 0x78e61ae7...

// 3. Automated Order Document Verification
const verification = verifyConfirmationTerms(extracted, expected);
// Result: 4/4 checks passed [Price, Seats, Term, Date]

// 4. Release Escrowed Funds to Vendor
await release_escrow({
  transactionId: escrow.id,
  verificationPassed: true
});

Ready to see the agent negotiate and escrow live?

Launch Demo Co with one click. No registration required. Click "Simulate 7-Step Loop" on the dashboard to watch the agent analyze, negotiate, escrow, and settle in real time.

Launch Demo Co Source Code