ai-causal-deontic
CommunityReason about causes and deontic norms for AI.
Software Engineering#counterfactuals#ai-governance#lean-4#causal-reasoning#deontic-logic#causal-models
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formal frameworks for causal reasoning, counterfactual analysis, and deontic logic for AI systems enable rigorous modeling of causes, effects, and normative requirements in Lean 4 workflows.
Core Features & Use Cases
- Pearl's causal hierarchy, structural causal models, and do-calculus for AI reasoning.
- Deontic logic and normative rules for AI governance, safety, and policy encoding.
- Lean-4 encoding patterns and handoff workflows to related skills for integrated proofs and policy mapping.
Quick Start
Describe a concrete AI scenario and request Lean encoding guidance using the recommended causal-deontic framework.
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: ai-causal-deontic Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#ai-causal-deontic 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.