← Latest products

Akmon

a Rust AI coding agent for regulated engineering. Tamper-evident evidence and verification layer for AI agents. Verify any agent's session offline with just openssl. No cloud, no lock-in.

CLIOpen source

35 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Brig

    news.ycombinator.com

    A MicroVM sandbox for AI coding agents on Mac and Linux

    Hacker News9 pts

  2. Coordination Layer for Coding Agents

    twing.dev

    We built an open sourced coordination layer for AI agents working on the same repository.

    Hacker News9 pts

  3. Forall

    github.com

    Spec-driven AI coding with formal verification

    Hacker News11 pts

  4. Keypo

    github.com

    Secure Enclave encrypted secrets for AI coding agents

    Hacker News5 pts

  5. Implement-spec

    github.com

    a harness-agnostic spec-to-verified-PR agent skill

    Hacker News12 pts