{ pkgs ? import <nixpkgs> { } }:
with pkgs;
let
  agent_src = fetchgit {
    url = "https://gitea.rixxc.de/rixxc/x25519_agent.git";
    rev = "b7af39ff804a34bab696cb8ed4ff820e57769aba";
    hash = "sha256-QUNhUehV0/cfQOQumYRTZvNwBIlgRMz7yN2/wRCNDEE=";
  };

  agent = callPackage "${agent_src}/default.nix" { };
in
rustPlatform.buildRustPackage {
  name = "agent-harness";
  src = nix-gitignore.gitignoreSource [ ] ./.;

  nativeBuildInputs = [ cargo rustc ];
  
  buildInputs = [ agent ];

  cargoSha256 = "sha256-ZgwQr1goz9yPws0P1eQwhHEv2WbcJeTCLEPYOUADOtE=";
}