Agent skill

Deductive Reasoning

by THUYRan in THUYRan/Legal-Skills-Chinese

Perform rigorous legal deductive reasoning based on formal logic.

No licenceAuto-check passedLegal & Compliance

Install Deductive Reasoning

skills CLI
$ npx skills add THUYRan/Legal-Skills-Chinese --skill deductive-reasoning -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install THUYRan/Legal-Skills-Chinese deductive-reasoning --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/THUYRan/Legal-Skills-Chinese.git skills-src && mkdir -p .claude/skills && cp -r skills-src/English/skills/deductive-reasoning .claude/skills/deductive-reasoning && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
deductive-reasoning
GitHub stars
868
Token cost
~2.8k tokens
SKILL.md length
1,450 words
Files
1
Skills in repo
71
Repo updated
First seen
Licence
None found

At a glance

Perform rigorous legal deductive reasoning based on formal logic.

  • Works in 3 steps: Input → Reasoning → Output
  • The user asks to analyze case logic
  • SKILL.md covers Description and Instruction Steps
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Deductive Reasoning is an agent skill from THUYRan/Legal-Skills-Chinese. Perform rigorous legal deductive reasoning based on formal logic. Use this skill when the user asks to "analyze case logic", "verify legal reasoning", "extract a syllogism", "map the relationship between case facts and legal provisions", or "assess the validity of a legal argument". Provides a formal-logic framework for legal reasoning that turns unstructured legal norms and case facts into valid, testable, and reproducible deductive argument chains (P-F-C).

Its SKILL.md is about 2.8k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Legal & Compliance.

When your agent uses it

  • The user asks to analyze case logic
  • Verify legal reasoning
  • Extract a syllogism
  • Map the relationship between case facts and legal provisions

Example prompts

  • “analyze case logic”
  • “verify legal reasoning”
  • “extract a syllogism”
  • “/deductive-reasoning”

Workflow steps

3 steps, taken from the step headings in SKILL.md.

  1. Input
  2. Reasoning
  3. Output

What it can do on your machine

Read from SKILL.md and the folder at commit c31ef1f. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Deductive Reasoning loads about 2.8k tokens when it runs. Until then it costs about 121 tokens; SKILL.md has 1,450 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~121
When it runs · the whole SKILL.md, loaded when a task matches
~2.8k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Without a licence we can't republish the file, so here is its outline and opening line. It has 1,450 words (~2,787 tokens).

“Perform rigorous legal deductive reasoning based on formal logic. Use this skill when the user asks to “analyze case logic”, “verify legal reasoning”, “extract a syllogism”, “map the relationship between case facts and legal provisions”, or “assess the validity of…”

— opening of SKILL.md by THUYRan
name
deductive-reasoning

Read the full SKILL.md on GitHub

Files

Just SKILL.md in English/skills/deductive-reasoning of THUYRan/Legal-Skills-Chinese.

Open the folder on GitHubat commit c31ef1f

Compare with similar skills

Deductive Reasoning next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Deductive Reasoning compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Deductive Reasoning this skillTHUYRan/Legal-Skills-Chinese868—~2.8kAutomated safety check: PassNone
Paper to Chinese Patent DrafterYuan1z0825/nature-skills46k1 repos~1.1kAutomated safety check: PassApache-2.0
C15tc15t/c15t1.9k1 repos~1.6kAutomated safety check: PassApache-2.0
Contract Reviewevolsb/claude-legal-skill4621 repos~3.6kAutomated safety check: PassMIT
Legal Clinic Client Intakeanthropics/claude-for-legal9.6k3 repos~3.2kAutomated safety check: PassApache-2.0
Paper To Cn Patentsnipp-zha/Paper-to-patent-Skill1051 repos~959Automated safety check: PassNone

Similar skills

  • Paper to Chinese Patent Drafter

    Yuan1z0825/nature-skills

    Drafts Chinese invention patent applications and technical disclosures from research papers or inventor materials, tying each claim feature to source evidence.

    46k GitHub starsUsed in 1 repo~1.1k tokens
    Legal & ComplianceAuto-check passed
  • C15t

    c15t/c15t

    Work with c15t consent management docs, APIs, and integrations for Next.js, React, and JavaScript.

    1.9k GitHub starsUsed in 1 repo~1.6k tokens
    Legal & ComplianceAuto-check passed
  • Contract Review

    evolsb/claude-legal-skill

    Review legal contracts, NDAs, employment agreements, SaaS terms, and M&A documents.

    462 GitHub starsUsed in 1 repo~3.6k tokens
    Legal & ComplianceAuto-check passed
  • Legal Clinic Client Intake

    anthropics/claude-for-legal

    Official

    Structures a legal clinic client intake interview and produces a case summary with cross-area issue spotting, conflict flags and triage classification.

    9.6k GitHub starsUsed in 3 repos~3.2k tokens
    Legal & ComplianceAuto-check passed
  • Paper To Cn Patent

    snipp-zha/Paper-to-patent-Skill

    Convert scientific papers, theses, technical reports, source code, figures, or research manuscripts into evidence-grounded Chinese invention patent drafts.

    105 GitHub starsUsed in 1 repo~959 tokens
    Legal & ComplianceAuto-check passed
  • Employment Contract Templates

    ynulihao/AgentSkillOS

    Create employment contracts, offer letters, and HR policy documents following legal best practices.

    617 GitHub starsUsed in 12 repos~4.1k tokens
    Legal & ComplianceAuto-check passed

More from THUYRan/Legal-Skills-Chinese

All 71 skills in this repo
  • Billing And Litigation Budget

    THUYRan/Legal-Skills-Chinese

    A skill your agent uses when the user needs to track or manage attorney hours, expert fees, and investigation costs; control litigation spend; or prepare timesheets or expense statements for clients.

    868 GitHub stars~5k tokensUpdated 1 mo ago
    Auto-check passed
  • Case Lifecycle Planning

    THUYRan/Legal-Skills-Chinese

    Case full-lifecycle planning skill. An agent skill from THUYRan/Legal-Skills-Chinese.

    868 GitHub stars~1k tokensUpdated 1 mo ago
    Auto-check passed
  • Legal Abductive Reasoning

    THUYRan/Legal-Skills-Chinese

    Legal abductive reasoning skill for generating and evaluating the most reasonable explanatory hypotheses when evidence is incomplete or facts are ambiguous.

    868 GitHub stars~4k tokensUpdated 1 mo ago
    Auto-check passed
  • Teleological Interpretation

    THUYRan/Legal-Skills-Chinese

    Teleological interpretation skill (目的解释). An agent skill from THUYRan/Legal-Skills-Chinese.

    868 GitHub stars~4.5k tokensUpdated 1 mo ago
    Auto-check passed
  • Trial Scheduling And Deadline Monitoring

    THUYRan/Legal-Skills-Chinese

    A skill your agent uses when the user needs to track or be reminded of hearing schedules, enforcement schedules, evidence-submission deadlines, appeal deadlines, service deadlines, preservation…

    868 GitHub stars~2k tokensUpdated 1 mo ago
    Auto-check passed
  • Analogical Reasoning

    THUYRan/Legal-Skills-Chinese

    Trigger this skill when the AI agent must handle any of the following situations: 1.

    868 GitHub stars~14k tokensUpdated 1 mo ago
    Auto-check passed

Questions about Deductive Reasoning

What does Deductive Reasoning do?

Perform rigorous legal deductive reasoning based on formal logic. Deductive Reasoning is an agent skill from THUYRan/Legal-Skills-Chinese. Perform rigorous legal deductive reasoning based on formal logic.

When should I use Deductive Reasoning?

Deductive Reasoning fits situations like: the user asks to analyze case logic; verify legal reasoning; extract a syllogism; map the relationship between case facts and legal provisions.

How do I install Deductive Reasoning in Claude Code?

Run `npx skills add THUYRan/Legal-Skills-Chinese --skill deductive-reasoning -a claude-code`. Or copy the skill folder (English/skills/deductive-reasoning in THUYRan/Legal-Skills-Chinese) into .claude/skills/deductive-reasoning in your project. Claude Code loads it when a task matches its description.

How do I install Deductive Reasoning in Codex?

Run `npx skills add THUYRan/Legal-Skills-Chinese --skill deductive-reasoning -a codex`. Or copy the skill folder (English/skills/deductive-reasoning in THUYRan/Legal-Skills-Chinese) into .agents/skills/deductive-reasoning in your project. Codex loads it when a task matches its description.

Can I use Deductive Reasoning in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add THUYRan/Legal-Skills-Chinese --skill deductive-reasoning -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/deductive-reasoning, .gemini/skills/deductive-reasoning, .github/skills/deductive-reasoning and .opencode/skills/deductive-reasoning in your project.

What does Deductive Reasoning need to run?

SKILL.md names no scripts, command-line tools or credentials: Deductive Reasoning is instructions for the agent only.

Does Deductive Reasoning access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Deductive Reasoning safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Deductive Reasoning use?

No licence was found for Deductive Reasoning or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.

How many tokens does Deductive Reasoning use?

About 2.8k tokens (SKILL.md is roughly 11k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Deductive Reasoning?

Skills that share tags, products or a category with Deductive Reasoning: Paper to Chinese Patent Drafter (Yuan1z0825/nature-skills, 46k stars), C15t (c15t/c15t, 1.9k stars), Contract Review (evolsb/claude-legal-skill, 462 stars) and Legal Clinic Client Intake (anthropics/claude-for-legal, 9.6k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Deductive Reasoning?

THUYRan (a GitHub user) maintains it in THUYRan/Legal-Skills-Chinese, which has 868 GitHub stars. The repository holds 71 skills in this directory. The repository was last updated on August 22, 2026.

Source: THUYRan/Legal-Skills-Chinese on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.