Accountable credential & coursework engine — automates course logistics, halts at every graded step for the human, and emits a tamper-evident receipt of how a credential was earned. Learning aid, not a bypass.
Prova adapter for Solana Agent Kit — emit verifiable on-chain receipts for every action a SAK agent executes
AGLedger™ SDK: accountability and audit infrastructure for agentic systems.
A tamper-evident, local-first audit trail for AI-agent work — an MCP server giving Claude Code, Cursor and other agents typed tools behind workflow gates, with every action recorded in a SHA-256 hash-chained log.