L4 programming language for computational law - encode contracts, regulations, and policies as executable, testable, verifiable programs
How to install l4-ide?
smucclaw/l4-ide
$claude plugin marketplace add smucclaw/l4-ideInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install l4-ide by running `claude plugin marketplace add smucclaw/l4-ide`, then use it for the current task and follow its documentation at https://github.com/smucclaw/l4-ide.
Related
6 picksType
- claude-for-legalA suite of plugins for legal workflowsJul 2026
- softwarecopyright-skill从真实项目生成中国软件著作权申请资料（Word/TXT）。支持项目分析、代码材料抽取、申请表信息生成和操作手册撰写，输出符合软著申报要求的正式材料。Jul 2026
- korean-law-mcp법제처 42개 API → 9개 통합 도구. 법령·판례·행정규칙·자치법규·조약·해석례 + LLM 환각 방지 인용 검증 + 조문 영향 그래프 + 시점 비교 자동 diff + 판례 생사 확인(Citator) + 행위시법 판단 + 이럴 땐 이렇게 5단계 안내Jul 2026
- claude-fuer-deutsches-recht⚠️ Experimentelle Skill-Sammlung für deutsches Recht (Arbeits-, Gesellschafts-, Insolvenz-, Datenschutz-, Prozessrecht u.a.) – inzwischen verbessert und im Alltag getestet, aber weiterhin Experiment. Bitte selber ausprobieren, Issues/PRs willkommen! Keine Rechtsberatung.Jul 2026
- claude-skills-governance-risk-and-complianceClaude Skills for Governance, Risk, & Compliance (GRC): Expert-level compliance guidance for ISO 27001, SOC 2, FedRAMP, GDPR, HIPAA, NIST CSF, PCI DSS, EU AI Act, ISO 42001, ISO 27701, DORA, CSRD, India's DPDPA, CMMC 2.0, NIST AI Risk, SWIFT, Australia's ISM, EU NIS2, CCPA/CPRA,…Jul 2026
- legal-skills面向法律从业者的 Claude Skills 集合，包含文档转换、音频转录、网页抓取等专业工具Jul 2026
