l4-ide

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.

32 stars

6 forks

Haskell

53 views

View on GitHub Add to Favorites

Installation

Option 1: Use slash command in Claude Code

/install-skill https://github.com/smucclaw/l4-ide

Option 2: Clone to skills directory

# Global (all projects)

git clone https://github.com/smucclaw/l4-ide ~/.claude/skills/l4-ide

# Project-specific

git clone https://github.com/smucclaw/l4-ide .claude/skills/l4-ide

Add MCP server to .cursor/mcp.json:

{
  "mcpServers": {
    "skillz": {
      "command": "npx",
      "args": ["-y", "skillz-mcp", "https://github.com/smucclaw/l4-ide"]
    }
  }
}

Restart Cursor after adding the configuration.

Option 1: Use Gemini CLI command

gemini extensions install https://github.com/smucclaw/l4-ide

Option 2: Clone to extensions directory

git clone https://github.com/smucclaw/l4-ide ~/.gemini/extensions/l4-ide

Topics

contracts l4 legal legislation mcp mcp-server mcp-tools regulation rules rules-as-code webmcp