legalese
01Plugin Claude Code
Plugin marketplace listing 1 plugin: l4-computational-law.
37 1mo ago A
tokens not measured
Plugin Claude Code
L4 programming language for computational law - encode contracts, regulations, and policies as executable, testable, verifiable programs.
37 1mo ago A
tokens not measured
Skill Claude CodeCodex
Writes, validates, and deploys L4 — a typed functional language for computational law — encoding contracts, regulations, and policy logic as executable rules with type-checked decisions and formally-modeled obligations. Use when the user asks to formalise legal text, draft rules with deadlines and reparations, mark…
37 1mo ago A 110 tokens
Instructions file CodexOpenCode
AGENTS.md instructions for smucclaw/l4-ide, covering agents.md, about l4, repository structure, haskell (cabal) and typescript (npm workspaces + turborepo).
37 1mo ago A 1,552 tokens