A1 — The cryptographic identity and authorization layer that turns anonymous AI agents into accountable, verifiable entities. One Identity. Full Provenance.
Cargo subcommand for certification evidence generation, verification, and traceability
Certification evidence generation, verification, and traceability library for safety-critical Rust projects
Validation and check logic for OpenVet audits.
CLI that orchestrates coding agents (Claude Code and others) through a phased implementation plan, with automatic test/commit loops and a TUI dashboard
Immutable, event-sourced, nosql, write-side database system.
Embedded event log with Kafka-compatible semantics and merkle tree integrity verification
Ultra-fast, standalone security auditor for Gemfile.lock
CLI binary for Colmena — hook handler, queue, delegate, install
Core library for Colmena — trust firewall, library, bus, ELO
Output filtering pipeline for Colmena PostToolUse hook
MCP server for Colmena — exposes colmena tools to Claude Code