smucclaw/l4-ide

L4 - Rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.

52
/ 100
Established

This project helps legal professionals and policy makers turn complex legal rules, contracts, or legislation into precise, executable specifications. You feed in your existing legal text, and it outputs machine-readable rules that can automatically generate web applications, identify inconsistencies, and provide clear audit trails for decisions. This is designed for lawyers, compliance officers, legislative drafters, and insurance analysts who need to formalize and test legal logic.

Use this if you need to formalize legal rules or contracts to test scenarios, find hidden contradictions, or automate legal decision-making for end-users.

Not ideal if you primarily need to manage legal documents, perform natural language processing on unstructured legal text, or require highly subjective legal interpretation.

legal-tech regulatory-compliance contract-analysis legislative-drafting policy-automation
No Package No Dependents
Maintenance 13 / 25
Adoption 7 / 25
Maturity 16 / 25
Community 16 / 25

How are scores calculated?

Stars

31

Forks

6

Language

Haskell

License

Category

ide

Last pushed

Apr 04, 2026

Commits (30d)

0

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/mcp/smucclaw/l4-ide"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.