logic-checker

Detect logical discrepancies in academic paper drafts using paper.md and state.json.

43|2|Updated Apr 5, 2026
One-click install
npx skills add https://github.com/PKU-ASAL/CoPaper-OpenCode --skill logic-checker-pku-asal
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: logic-checker
Source: https://github.com/PKU-ASAL/CoPaper-OpenCode/tree/main/.agents/skills/logic-checker
Command: npx skills add https://github.com/PKU-ASAL/CoPaper-OpenCode --skill logic-checker-pku-asal

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

This Skill identifies logical discrepancies, inconsistencies, and flaws in academic paper drafts, enhancing the quality and rigor of scholarly work.

Core Features & Use Cases

  • Logical Discrepancy Detection: Automatically identifies claim-evidence mismatches, internal contradictions, and logical fallacies.
  • Argument Analysis: Provides systematic and specific analysis of argument structures throughout the paper.
  • AI-Generated Comments: Delivers AI-generated analysis comments marked clearly for author review.
  • Use Case: For an academic researcher working on a paper, this Skill can be used to ensure the logical consistency of the argumentation before submission.

Quick Start

Check the logic in your paper draft by running the logic-checker skill on your 'paper.md' file.

Frequently Asked Questions about logic-checker

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I check the logical consistency of an academic paper draft?

To check logical consistency in an academic paper draft, use an AI argument analysis tool that detects claim-evidence mismatches, internal contradictions, and argumentation flaws. It generates specific comments and a summary report to enhance scholarly writing rigor.

What types of logical discrepancies can AI review detect in scholarly writing?

AI review for scholarly writing detects logical discrepancies including claim-evidence mismatches, internal contradictions, and structural argumentation flaws. It systematically analyzes argument structures throughout the paper to enhance academic rigor.

How do I run logical analysis on a paper.md file within the CoPaper framework?

To run logical analysis on a paper.md file within the CoPaper framework, execute the logic-checker skill. It requires paper.md and state.json as input files to process the draft and output AI-generated comments.

What input files are required to detect argumentation flaws in academic papers?

Detecting argumentation flaws in academic papers requires paper.md and state.json as input files. Operating within the CoPaper framework, the analysis uses these inputs to output AI-generated comments and a summary report.

What is the best way to find claim-evidence mismatches before paper submission?

The best way to find claim-evidence mismatches before paper submission is using an AI logical analysis tool. It automatically identifies mismatches and provides AI-generated comments marked clearly for author review.

What format are the results delivered in when checking for logical fallacies in a manuscript?

When checking for logical fallacies in a manuscript, results are delivered as AI-generated analysis comments marked clearly for author review, accompanied by a summary report detailing the identified argumentation flaws and discrepancies.