Tavryn
Tavryn is an autonomous SaaS-procurement agent that keeps spending under deterministic, code-enforced control — the model proposes, TypeScript and Solidity decide. Its policy engine (lib/policy.ts) gates every action: verifyPolicyExecutionAuthorization blocks execution unless an approval exists, and out-of-authority decisions return needs_human. Payment safety is expressed in contracts/contracts/ArcEscrow.sol, a role-separated escrow whose createAgreement enforces per-agreement and per-category spend caps the agent role cannot raise for itself (setMaxPerAgreement, setCategoryBudget are owner-only), and whose approveMilestone is onlyVerifier with an explicit require(msg.sender != agent) so a verifier never approves its own release. Claim-versus-reality verification is real code: lib/agent/verification.ts extracts vendor confirmations and decides pass or fail before releasing or disputing. A negotiation loop with vendor memory (lib/agent/negotiate.ts, lib/memory.ts), a SHA-256 hash-chained audit log (lib/tools/audit.ts), and counterparty screening (lib/screening.ts) complete the stack.
Proactive professional with 7 years of work experience and proven knowledge of team building, branding and software development.
An AI agent that finds the waste in a business's software spend, negotiates it away, and executes the resulting payment in USDC on Arc.