SKILL verified Apache-2.0 Self-run

Applied Legal Reasoning

Name: Applied Legal Reasoning
Availability: InStock
Author: r-irbe

skill-r-irbe-proof-skills-applied-legal-reasoning · by r-irbe

↗ Website ↗ Repository

— No reviews yet

0 installs

42 views

0.0% view→install

Install

$ agentstack add skill-r-irbe-proof-skills-applied-legal-reasoning

✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.

Security review

✓ Passed

No issues found. Passed automated security review. · v0.1.0 How review works →

✓ Prompt-injection patterns
✓ Secret / credential exfiltration
✓ Dangerous shell & filesystem operations
✓ Untrusted network calls
✓ Known-malicious package signatures

What it can access

✓ Network access No
✓ Filesystem access No
✓ Shell / process execution No
✓ Environment & secrets No
✓ Dynamic code execution No

From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.

View the full security report →

Verified badge

Passed review? Show it. Paste this badge into your README, it links to the public security report.

Links to your public security report.

[![AgentStack Verified](https://agentstack.voostack.com/badges/verified.svg)](https://agentstack.voostack.com/security/report/skill-r-irbe-proof-skills-applied-legal-reasoning)

Reliability & compatibility

✓ Security review passed

0 installs to date

— no reviews yet

● 2mo ago

Declared compatibility

Claude CodeClaude Desktop

Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.

Preview Execution monitoring

We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.

How agent discovery & health will work →

Are you the author of Applied Legal Reasoning? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.

About

Legal Reasoning

Formal frameworks for legal analysis, argumentation, normative reasoning, and their intersection with formal verification and AI governance.

Routing

USE FOR: Legal reasoning formalization — statutory interpretation, case-based reasoning, argumentation frameworks, defeasible rules, deontic norms, regulatory compliance, and their connection to provenance chains, governance structures, and formal verification for legal-adjacent AI systems.
DO NOT USE FOR: formalising those legal models in Lean (use @lean-applied-reasoning); deontic reasoning specifically (use @ai-causal-deontic); security policy (use @applied-data-information-security).
TRIGGERS: statutory interpretation, case-based reasoning, argumentation framework, defeasible rule, deontic norm, legal reasoning, regulatory.

Workflow

Classify the legal task: statutory interpretation, case-based reasoning, argumentation, or deontic-norm modelling.
Pick the matching framework (ASPIC+, Carneades, defeasible-logic, deontic-action) from the body.
Apply the framework; document the argument structure + defeaters.
Hand off: to @ai-causal-deontic for deontic-logic encoding, to @lean-applied-reasoning for Lean formalisation, to @lean-zettelkasten.

Recovery & STOP

STOP if the question is about pure deontic logic — delegate to @ai-causal-deontic.
STOP if the legal regime is jurisdiction-specific and not in the body — escalate to @research-council.
STOP if security/privacy policy dominates — delegate to @applied-data-information-security.

Handoffs

Predecessors: agent:gateway, skill:lean-research.
Successors: skill:lean-applied-reasoning, skill:ai-causal-deontic, skill:lean-knowledge-formalization.

Detailed reference

Full content for applied-legal-reasoning lives in [references/applied-legal-reasoning-handbook.md](../../references/applied-legal-reasoning-handbook.md). Load that file when the skill is convened; the SKILL.md only carries the dispatch contract and the parts index.

| Section | Topic | |---|---| | Part 1 | Legal Reasoning Paradigms | | Part 2 | Argumentation Frameworks | | Part 3 | Defeasible Legal Rules | | Part 4 | Statutory Interpretation | | Part 5 | Case-Based Reasoning (CBR) | | Part 6 | Regulatory Compliance Formalization | | Part 7 | AI & Legal Reasoning | | Part 8 | Cross-References |

Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

Author: r-irbe
Source: r-irbe/proof-skills
License: Apache-2.0
Homepage: https://github.com/r-irbe/proof-skills

Install and usage instructions live in the source repository linked above.

Reviews

No reviews yet, be the first.

Write a review

Versions

v0.1.0 Imported from the upstream source.