merleanprover/merlean
codex-marketplaces via github-code
- Upstream
- github.com/merleanprover/merlean
- Version
0-unstable-2026-09-09
Source details
- Revision
4d9c24a72d988e57867d67cd825bd4b0299780c7commit- Hash
sha256-uS77cAZNCNx3/Z26udEBlTPqVbsDAjNQX8uvj3ScpsI=- Snapshot
- data/codex-marketplaces/github.com/merleanprover/merlean.json · latest JSON
1 package
merlean
0-unstable-2026-09-09
·
.
pkgs.codex-marketplaces.github.merleanprover.merlean.merleanBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-marketplaces.aarch64-darwin.github.merleanprover.merlean.merlean'
Lists 3 plugins:
plugins/merlean-heavy-codex
plugins/merlean-lite-codex
plugins/paper-writing-codex
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.