← 최신 프로덕트

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.

CLI오픈소스

35 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Brig

    news.ycombinator.com

    A MicroVM sandbox for AI coding agents on Mac and Linux

    Hacker News9점

  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점

  3. Forall

    github.com

    Spec-driven AI coding with formal verification

    Hacker News11점

  4. Keypo

    github.com

    Secure Enclave encrypted secrets for AI coding agents

    Hacker News5점

  5. Implement-spec

    github.com

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

    Hacker News12점