jailed-agents: Instructions file for Codex

AGENTS.md

Guidelines for agentic coding assistants working on jailed-agents.

Development Commands

Formatting

nixfmt

Format all Nix files using nixfmt.

Linting

nix shell nixpkgs#statix -c statix check

Check for Nix code style issues.

Building

nix build .#<package>

Build any package from flake outputs. Use llm-agents.packages.${system}.<agent> pattern for package access.

Testing

No external tests. Create a test flake that imports this repository, build the agent config, and verify sandbox constraints:

{
  inputs.jailed-agents.url = "path:/path/to/jailed-agents";
  outputs = { jailed-agents, ... }: {
    packages.x86_64-linux.default = jailed-agents.lib.x86_64-linux.makeJailedOpencode {};
  };
}

Development Shell

nix develop

Enter dev shell with nixd, nixfmt, statix, and jailed agents.

Code Style Guidelines

Nix Formatting

• Use nixfmt for all Nix files (automatically applied via nix fmt)
• 2-space indentation for nested structures
• Keep line length reasonable (~100 characters, but not strictly enforced)
• Use trailing commas in multi-line lists and attribute sets

Function Definitions

• Use camelCase for function names (e.g., makeJailedAgent, makeJailedCrush)
• Define parameters with ? [] pattern for defaults (e.g., extraPkgs ? [])
• Align parameters on new lines for multi-argument functions:

makeJailedAgent = {
  name,
  pkg,
  configPaths,
  extraPkgs ? [],
  baseJailOptions ? commonJailOptions,
  basePackages ? commonPkgs,
}: ...

Imports and Scope

• Use with pkgs; for package imports when building package lists
• Use with jail.combinators; when using jail combinators
• Avoid mixing with statements in the same scope
• Use inherit for passing multiple attributes vertically:

makeJailedAgent {
  inherit
    name
    pkg
    extraPkgs
    baseJailOptions
    ;
  configPaths = ["~/.config/app"];
};

Lists and Attributes

• Place list items on separate lines with proper indentation and trailing commas
• Example: commonPkgs = with pkgs; [ bashInteractive curl wget jq git ];
• Add empty lines between logical sections in let-bindings (e.g., between commonPkgs and commonJailOptions)
• Use trailing semicolon for multi-line inherit blocks