{"repo":"smucclaw/l4-ide","free":true,"listed":false,"github":"https://github.com/smucclaw/l4-ide","clone":"git clone https://github.com/smucclaw/l4-ide.git","description":"This project is being continued by Legalese:","language":"Haskell","stars":37,"topics":["contracts","l4","legal","legislation","regulation","rules","rules-as-code","mcp","mcp-server","mcp-tools"],"license":null,"category":"mcp-servers","readme_excerpt":"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. What You Get From a Single L4 File - REST APIs — Expose functions as HTTP endpoints with @export annotations - AI tool integration — MCP server for Claude, Cursor, and VS Code Copilot; WebMCP for in-browser agents - Interactive visualizations — Ladder diagrams and evaluation traces rendered via GraphViz - Audit-grade explainability — Every evaluation produces a trace you can follow from the top-level question down to the deciding condition - Test suites — Golden-file tests and assertions - Generated schemas — OpenAPI 3.0 specs and JSON schemas for integration Getting Started - Install the VS Code extension: L4 Rules-as-code on the Marketplace - Try the web editor: - Learn L4: Foundation Course — no prior programming experience required - Full documentation: doc/README.md Repository Layout Haskell (Cabal): Package Purpose ----------------------------------------- -------------------------------------------------------- jl4-core Core language (parser, typechecker, evaluator) jl4 CLI tool and JSON schema generator jl4-lsp Language Server Protocol for IDE support jl4-repl Interactive REPL jl4-service REST API fo","default_branch":null,"files":null,"tree":[],"storefront":"/r/smucclaw","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/smucclaw/l4-ide/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}