Skip to content
agents.nix
Color theme

12og3r/redpen

codex-plugins via marketplace-crawl

Upstream
github.com/12og3r/redpen
Version
0.4.4
Source details
Revision
v0.4.4 tag
Hash
sha256-1AX1U3UXVd38WPGuM6+BcWwDRfuYm6okofccUkoG6eI=
Snapshot
data/codex-plugins/github.com/12og3r/redpen.json · latest JSON

3 packages

redpen

0.4.4 · plugins/redpen 

pkgs.codex-plugins.github."12og3r".redpen.redpen
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github."12og3r".redpen.redpen'

redpen-coco

0.4.4 · plugins/redpen-coco 

pkgs.codex-plugins.github."12og3r".redpen.redpen-coco
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github."12og3r".redpen.redpen-coco'

redpen-codex

0.4.4 · plugins/redpen-codex 

pkgs.codex-plugins.github."12og3r".redpen.redpen-codex
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github."12og3r".redpen.redpen-codex'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.