EthereumPhone — 3 mods

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 3 mods

lean-prover

Agent Claude Code

Lean 4 proof engineer for the verification track (contracts/verification/extracted, Aeneas-extracted Rust, A3.1 / EUF-CMA / SphincsCVerify). Use to close open goals, discharge sorrys, or draft a proof for a stated theorem. Delegates proof DRAFTING to the Leanstral model (mistralai/Leanstral-1.5) via the leanstralprove…

22 2d ago A 147 tokens GPL-3.0

PQ1 AGENTS.md

EthereumPhone/PQ1

Instructions file CodexOpenCode

AGENTS.md instructions for EthereumPhone/PQ1, covering pqsigner os agent entry point, focus and review-cadence routing and security-review surface routing.

22 2d ago A 1,208 tokens GPL-3.0

PQ1 CLAUDE.md

EthereumPhone/PQ1

Instructions file

Claude Code instructions for EthereumPhone/PQ1, covering pqsigner os — llm context, non-negotiable invariants, pre-production caveats, lifecycle and gateway commands.

22 2d ago A 14,786 tokens GPL-3.0