Formal Legal Consequence Derivation Agent Skill

Derives formal legal consequences, liability types, compensation amounts, and sentencing ranges using a four-layer legal reasoning model…

Context cost
1.1k tokensestimated from the bundle, loaded when it triggers
Bundle
1 file · 4.6 kBtext throughout, nothing executable
Licence
not declarednone named by its author
Last change
—v1.0.0
Servers it uses
Noneruns standalone

What it does

形式化推导法律后果——根据已确认的事实+法律规范,推导具体法律后果(责任类型/赔偿金额/刑期/处罚幅度)。 适用情形:用户询问"能获得多少赔偿"/"对方承担什么责任"/"会判几年"/"罚款多少"。 核心:四层推导模型(基础后果→调整因素→竞合聚合→量化计算),大前提+小前提→结论。 注意:本skill是法律推理终端环节,输出仅供参考,实际结果由司法机关确定。

What this skill changes about the agent has not been set out here as a list. Its SKILL.md, shown below, says it in the author’s own words.

productivity

The skill itself

A skill is instructions the model reads, so you can see what you are getting: below is the start of its SKILL.md. The front matter loads with every session, the body loads when the skill triggers, and the whole file comes with the install.

SKILL.md4.6 kB · preview
--- name: formal-legal-consequence argument-hint: "[已认定事实] [已匹配法条] [构成要件满足情况] → 具体法律后果 + 置信度" legal_frame: cn-mainland last_reviewed: 2026-06-13 version: 1.0.0 risk_level: high references: - name: formal-legal-consequence source: THUYRan/Legal-Skills-Chinese trigger_phrases: - 法律后果 - 法律效果 - 法律效力 - 法律结果 - 后果分析 ---
24# /formal-legal-consequence — 形式化推导法律后果
25
26## 四层推导模型
27
28```
29第一层:基础后果确定
30 R(规范) + F(事实) → E₀(基础法律后果)
31
32第二层:调整因素适用
33 E₀ + A₊(加重因素) + A₋(减轻因素) + A₀(免除因素) → E₁(调整后)
34
35第三层:竞合与聚合处理
36 E₁ + 竞合规则/聚合规则 → E₂(最终后果)
37
38第四层:量化计算
39 E₂ + 计算标准/裁量基准 → E_final(具体量化结果)
40```
41
42## 法律后果分类
This is a preview of SKILL.md. Download or install the skill to get the whole thing.
In the file
SKILL.md329 words
Files1
Licencenot declared
Why you can read it

Nothing in a skill executes. The client loads the text and the model follows it, so a skill can be audited the way a runbook is — by reading it.

What it costs in context

Skills are not billed by the call. They are paid for in context: every token the instructions occupy is a token your code, your diff and your conversation cannot use. Here is what this one takes and when it takes it.

≈130
always loaded
The name and description, so the model knows the skill exists and when to reach for it.
1,020
on trigger
The instruction body, read only when the skill fires.
0.57%
of a 200k window
Ten skills this size would take about 6% of the window before you open a file.
050k100k150k200k context window

1.1k tokens, estimated from the bundle at four bytes to the token, held for the rest of the session once it triggers. Small enough to keep loaded permanently without thinking about it.

Servers bill, skills cost

A server charges by the month. A skill charges once per session, in context, and then keeps charging it for as long as the session lives.

Before and after

The same question, put to the same model twice: once as it comes, and once with these instructions loaded.

No worked example has been published for this skill yet.

The procedure it runs

The procedure has not been set out here step by step. It is in the body of its SKILL.md: the start of it is shown above, and the whole file comes with the install.

Prose, not code

These steps are written for a model to follow, not executed by a runtime. It can still be told to skip one, and it will say so when it does.

Servers it uses

None. This skill calls no MCP servers at all.

Everything it needs is in the instructions, so it works in a project with nothing connected — the model reads the file and changes how it works with what it can already reach.

Its SKILL.md does not declare which tools it asks the agent for, so what it touches is whatever the instructions themselves ask for — read them before you install it.

What it asks for
Writes filesnot declared
Network accessnot declared

This SKILL.md carries no allowed-tools line, so neither is declared. A skill grants no permissions of its own — it can only ask for tools your client already has.

What it will not do

Every skill is narrow, and the useful ones say where they stop. These are the jobs this one is the wrong tool for.

What this skill is not for has not been published here. Nothing is implied by that: it is a section the author has not filled in.

What is in the bundle

1 file, 4.6 kB on disk. A bundle is text throughout: the instructions the model reads, plus the templates it fills in.

  • SKILL.md4.6 kB
What is not in it

No dependencies and nothing executable: a skill is text the agent reads, so the bundle is 1 file you can review in full before installing.

Install

Installing copies the bundle into your project. Nothing runs at install time — the files sit on disk until the model reads them.

# Formal Legal Consequence Derivation · 1.1k tokens when loaded · macOS, Linux mkdir -p .claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/formal-legal-consequence-derivation/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/formal-legal-consequence-derivation" ] && { [ ! -e .claude/skills/formal-legal-consequence-derivation ] || { mv .claude/skills/formal-legal-consequence-derivation "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/formal-legal-consequence-derivation" .claude/skills/ && echo "Installed .claude/skills/formal-legal-consequence-derivation"
On Windows, or any OS with Node 20+
npx mcprush@latest skill add vivy-yi/formal-legal-consequence-derivation

Windows PowerShell says 'running scripts is disabled on this system'? Run Set-ExecutionPolicy -Scope CurrentUser RemoteSigned once, or type npx.cmd instead of npx (codex.cmd, gemini.cmd, grok.cmd likewise). PowerShell 7 needs neither. Writes to .claude/skills/formal-legal-consequence-derivation/ in the current project. For every project instead, run mkdir -p ~/.claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/formal-legal-consequence-derivation/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/formal-legal-consequence-derivation" ] && { [ ! -e ~/.claude/skills/formal-legal-consequence-derivation ] || { mv ~/.claude/skills/formal-legal-consequence-derivation "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/formal-legal-consequence-derivation" ~/.claude/skills/ && echo "Installed ~/.claude/skills/formal-legal-consequence-derivation" (macOS, Linux) — or add --global to the npx line. The curl line replaces .claude/skills/formal-legal-consequence-derivation/ only after the download succeeds, so files left there by another skill of the same name, or by an older release, do not mix in. A copy already there is moved aside, not deleted, and the line prints where. It appears as formal-legal-consequence in Gemini CLI, Codex, Copilot and Grok (its own name); Claude Code lists it by the folder name, formal-legal-consequence-derivation.

Which clients pick it up on their own

A skill is a folder of text. Most of these read a skills folder and pick it up without being told; the rest take the same folder another way — an upload in the app, a parameter on an API call — and then choose it by its description just the same.

Claude Code.claude/skills/
Claude DesktopCustomize › Skills
ChatGPTSkills › Create › Upload
Cursor.cursor/skills/
VS Code.github/skills/
Codex CLI.agents/skills/
Gemini CLI.gemini/skills/
Grok Build.grok/skills/
Microsoft CopilotSkills › Upload a skill
PerplexityComputer › Skills › Upload a skill
DeepSeek Harness.dsh/skills/
Zed.agents/skills/
Devin Desktop.devin/skills/
Windsurf (legacy).windsurf/skills/
OpenAI Agents SDKInstructions or sandbox Skills
HTTP / APIa request parameter
This release
Version1.0.0
Publishedno release date on file
PriceFree
Referencevivy-yi/formal-legal-consequence-derivation

Versions

v1.0.0 is what is on the shelf; no release here carries a date. Instructions change more often than APIs do — a skill can be rewritten entirely without anything it depends on moving.

v1.0.0
  • No earlier releases have been published to the marketplace.
Pinning

The install command always fetches the release that is current the day you run it — v1.0.0 today — and cannot ask for an earlier one. The copy on your disk does not change until you run it again.

Reviews

—no reviews yet

Nobody has reviewed this skill yet. The rating is the mean of the reviews written here, so there is none until somebody writes the first.

Sign in to review it

A review is tied to an account so it can be answered, edited and taken down by the person who wrote it.

Sign in
Who can post

Anybody with an account, one review each. It carries the version that was current when you wrote it, and the publisher may reply once.

Publisher
Servers0
Claim this skill