rupakm/leslie — Instructions

14Stars on the repository

22Mods indexed here, across every type

28d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

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

leslie AGENTS.md

Instructions file CodexOpenCode

AGENTS.md instructions for rupakm/leslie, covering ai agent instructions, leslie gadgets, protocol proof guidelines, invariant design: think before proving and proof strategy preferences.

14 28d ago A 1,220 tokens Apache-2.0

leslie CLAUDE.md

rupakm/leslie

Instructions file

Claude Code instructions for rupakm/leslie.

14 28d ago A 3 tokens Apache-2.0