Skip to content
agents.nix
Color theme

merleanprover/merlean

codex-plugins via marketplace-crawl

Upstream
github.com/merleanprover/merlean
Version
0-unstable-2026-09-09
Source details
Revision
4d9c24a72d988e57867d67cd825bd4b0299780c7 commit
Hash
sha256-uS77cAZNCNx3/Z26udEBlTPqVbsDAjNQX8uvj3ScpsI=
Snapshot
data/codex-plugins/github.com/merleanprover/merlean.json · latest JSON

6 packages

merlean-heavy-claude

0-unstable-2026-09-09 · plugins/merlean-heavy-claude 

pkgs.codex-plugins.github.merleanprover.merlean.merlean-heavy-claude
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.merlean-heavy-claude'

merlean-heavy-codex

0-unstable-2026-09-09 · plugins/merlean-heavy-codex 

pkgs.codex-plugins.github.merleanprover.merlean.merlean-heavy-codex
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.merlean-heavy-codex'

merlean-lite-claude

0-unstable-2026-09-09 · plugins/merlean-lite-claude 

pkgs.codex-plugins.github.merleanprover.merlean.merlean-lite-claude
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.merlean-lite-claude'

merlean-lite-codex

0-unstable-2026-09-09 · plugins/merlean-lite-codex 

pkgs.codex-plugins.github.merleanprover.merlean.merlean-lite-codex
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.merlean-lite-codex'

paper-writing-claude

0-unstable-2026-09-09 · plugins/paper-writing-claude 

pkgs.codex-plugins.github.merleanprover.merlean.paper-writing-claude
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.paper-writing-claude'

paper-writing-codex

0-unstable-2026-09-09 · plugins/paper-writing-codex 

pkgs.codex-plugins.github.merleanprover.merlean.paper-writing-codex
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.merleanprover.merlean.paper-writing-codex'

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