applied-legal-reasoning
CommunityFormalize legal reasoning for AI governance.
Legal & Compliance#argumentation#handoffs#statutory-interpretation#ai-governance#formalize#legal-reasoning#deontic-norms
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formalizes legal reasoning tasks for AI governance, enabling auditable frameworks that connect to governance structures and AI safety.
Core Features & Use Cases
- Formal frameworks for statutory interpretation, case-based reasoning, argumentation frameworks, defeasible rules, and deontic norms in legal-adjacent AI systems.
- Defined handoffs to complementary skills for Lean applied reasoning, AI causal deontic, and Lean knowledge formalization to support end-to-end workflows.
- Reference-backed context loading via the applied-legal-reasoning handbook to support depth and provenance.
Quick Start
Load the applied-legal-reasoning skill to begin formalizing legal reasoning tasks and route outputs to the appropriate successor skills.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: applied-legal-reasoning Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#applied-legal-reasoning Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.