#audit-log

Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.

Spending controls for AI agents paying online. Policy-gated x402 payments with audit log.

The trust control plane for enterprise AI agents — real-time policy verdicts in under 800ms and litigation-grade evidence of every decision. Pharos decides. Pharos proves.

Autonomous agents with receipts.

Local-first AgentOps control plane prototype for safe AI-to-agent command validation, policy evaluation, and redacted audit logging.

Runnable Spring AI 2.0 demo — govern every LLM call, MCP tool call and agent-to-agent hop through the self-hosted Dvara control plane. Approval gates, PII blocking, hash-chained audit.

Vendor-neutral cockpit for supervising AI coding agents in real time — secret redaction, approval gates, and an append-only audit trail. A local-first sidecar + web console for Claude Code, Codex, and beyond.

ORACLE — On-chain Reputation & Audit for Coordinated LLM-Agent Execution。LLM 驱动的 Agent 调度 + 链上身份/审计/信誉：双角色 EIP-712 审计、争议-罚没管线、成本-可验证性前沿。Solidity + TypeScript 后端 + React 前端。

Open-source trust layer for autonomous AI — gate agent, robot, smart home, and industrial actions before they run. Policies, HITL, Ollama/OpenAI, audit. MIT. npm @sanctum-runtime/sdk