skills.rest
KengoTODA
KengoTODACOMMUNITY
Explore all skills by this author →
Website𝕏@Kengo_TODAGitHub

inspequte-rule-spec

Generate inspequte rule specification documents from rule ideas and plans.

8|2|Updated Jan 12, 2026
Search Tags:#code quality#developer tools#static analysis#specification#inspequte#rule definition
One-click install
npx skills add https://github.com/KengoTODA/inspequte --skill inspequte-rule-spec
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: inspequte-rule-spec
Source: https://github.com/KengoTODA/inspequte/tree/main/.codex/skills/inspequte-rule-spec
Command: npx skills add https://github.com/KengoTODA/inspequte --skill inspequte-rule-spec

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill streamlines the process of defining static analysis rules for the inspequte tool, ensuring clear, actionable specifications without premature implementation details.

Core Features & Use Cases

  • Specification Authoring: Generates spec.md files based on rule ideas and existing plans.
  • Contractual Definition: Focuses on defining the rule's behavior, scope, and acceptance criteria.
  • Use Case: When developing a new static analysis rule for Java code, use this Skill to draft the spec.md file, outlining what the rule should detect, its motivation, and example cases.

Quick Start

Use the inspequte-rule-spec skill to author a rule specification for the rule-id 'R1001' with the idea 'detect unused private fields'.

Frequently Asked Questions about inspequte-rule-spec

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

FAQPage Schema
How do I write a static analysis rule specification without including implementation details?▼

A static analysis rule specification focuses on behavioral contracts and user-facing descriptions. This Skill generates a spec.md file from your rule-id and rule idea, outlining what the rule should detect, its motivation, and example cases without implementation specifics.

What should be included in a spec.md file for a Java static analysis rule?▼

A spec.md file for a Java static analysis rule should define the rule's behavior, scope, and acceptance criteria. It includes the rule's motivation and example cases, focusing on actionable specifications without premature implementation details.

How do I draft a new static analysis rule definition for inspequte?▼

To draft a static analysis rule definition for inspequte, supply a target rule-id and a rule idea. You can also include an optional plan document. The Skill processes these inputs to generate a spec.md file adhering to a fixed template.

Can I use an existing plan document to generate a rule specification?▼

Yes, you can use an existing plan document to generate a rule specification. The Skill processes a target rule-id, a rule idea, and an optional plan document to author or refine an inspequte rule specification document.

Why exclude implementation specifics from a static analysis rule specification?▼

Excluding implementation specifics from a static analysis rule specification ensures clear, actionable definitions. This approach prevents premature commitment to technical details and focuses on the rule's behavioral contracts, scope, and acceptance criteria.

Related Skills

Explore More Software Engineering Skills→
KengoTODAKengoTODA
8

inspequte-rule-plan

Draft or update inspequte rule plan.md files with scope and risks.

Community
Intermediate
MikisbellMikisbell

sdd-verify

Validate code implementations against specifications and design documents through static analysis and test execution.

Community
Advanced
KengoTODAKengoTODA
8

inspequte-rule-impl

Implement static analysis rules in Rust from specifications with generated tests.

Community
Advanced
Chang-Shih-YungChang-Shih-Yung

health

Aggregate type checker, linter, and test results into a 0-10 composite score.

Community
Advanced