by smucclaw · MCP Server · ★ 37
L4 with IDE L4 is a domain-specific programming language for law. It formalizes legal rules and contracts as executable specifications, bringing software engineering rigor to legal drafting and analysis. This repository contains the L4 compiler, IDE tooling (VS Code extension, LSP, REPL, web editor), and a decision service that exposes L4 rules as REST APIs and MCP tools.
| Stars | 37 |
| Forks | 9 |
| Language | Haskell |
| Category | MCP Server |
| Quality Score | 64.2521188799852/100 |
| Open Issues | 97 |
| Last Updated | 2026-07-05 |
| Created | 2024-11-26 |
| Platforms | browser, mcp |
| Est. Tokens | ~17k |
Explore other popular mcp server tools:
l4-ide is 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.. It is categorized as a MCP Server with 37 GitHub stars.
l4-ide is primarily written in Haskell. It covers topics such as contracts, l4, legal.
You can find installation instructions and usage details in the l4-ide GitHub repository at github.com/smucclaw/l4-ide. The project has 37 stars and 9 forks, indicating an active community.