๐ช
smucclaw-l4-ide
๐ชMarketplacesmucclaw/l4-ide
|What it does
|L4 is a domain-specific programming language for law that treats legal rules and contracts as executable specifications, providing tools for formalization, testing, contradiction detection, and document generation with IDE support.
legal-techcomputationalcomputational-lawcontractsencodeexecutableformal-methodsfunctional-programminglanguagelaw
Add this Marketplace
Add marketplace in Claude Code:
/plugin marketplace add smucclaw/l4-ide1Plugins
31
Last UpdatedFeb 3, 2026