# Writing L4 Rules

> Writes, validates, and deploys L4 — a typed functional language for computational law — encoding contracts, regulations, and policy logic as executable rules with type-checked decisions and formally-modeled obligations. Use when the user asks to formalise legal text, draft rules with deadlines and reparations, mark functions for deployment with @export/@desc, run the l4 CLI (l4 run, l4 check), or deploy to jl4-service/Legalese Cloud.

## Facts
- Page: https://tashan.sh/capability/skill-smucclaw-writing-l4-rules
- tashan id: skill:smucclaw/writing-l4-rules
- Source: https://github.com/smucclaw/l4-ide
- Type: skill
- Category: docs
- tashan score: not scored (catalogued only — too little public evidence)
- Adoption: 9.0
- Upkeep: 95.0
- Freshness: 90.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- GitHub stars: 37
- License: NOASSERTION
- Official: no

## Install

```sh
cp -r writing-l4-rules ~/.claude/skills/
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-08-14 by tashan (https://tashan.sh) from public evidence. Scorer s5.