AGENT
H.A.L.O.
Your agents, sovereign.
Wrap any AI agent with cryptographic identity, post-quantum comms, and tamper-proof observability. All local. Zero telemetry. Every operation backed by machine-checked proofs.
curl -fsSL https://raw.githubusercontent.com/Abraxas1010/agenthalo/master/install.sh | bashTamper-Proof Recording
Wrap any AI agent CLI. Record every event — thoughts, tool calls, file edits, token counts, costs — into tamper-proof NucleusDB traces.
Cryptographic Identity
Each agent gets a DID from a genesis seed ceremony. Ed25519 + ML-DSA-65 dual signatures. Append-only identity ledger.
Hybrid Encrypted Messaging
Hybrid KEM encrypted DIDComm v2. X25519 + ML-KEM-768. Messages route over libp2p mesh or Nym mixnet.
Quantum-resistant today, not someday.
Every subsystem, documented.
Each module has its own dedicated page with architecture diagrams, code samples, and worked examples.
Verifiable database with SQL, vector search, and three commitment backends
Tamper-proof session recording for Claude Code, Codex, and Gemini CLI
Genesis seed ceremony, DID derivation, and five-key-pair hierarchy
Full post-quantum cryptographic stack with honest vulnerability disclosure
9-page command center with cockpit terminal, deploy catalog, and orchestrator
40+ tools for database, orchestration, identity, trust, and containers
22 machine-checked Lean 4 theorems bound to runtime operations
Tool proxy for agent marketplace →
Part of the MENTAT stack →
GitHub — Public →
The serious back.
Architecture, proofs, cryptography, and governance — expand any section to go deep.