Does this skill write the actual code for the rule implementation?

No, this skill is designed to write the behavioral contract (spec.md) and intentionally avoids implementation details like Rust APIs or specific function names.

What template does the generated specification follow?

The skill uses a fixed order: Summary, Motivation, What it detects, What it does NOT detect, Examples (TP/TN/Edge), Output, Performance considerations, and Acceptance criteria.

Inspequte is a fast, CLI-first static analysis tool specifically designed for analyzing JVM class and JAR files, optimized for use by coding agents.

How does it handle annotations like @Suppress?

The skill follows strict guardrails stating that @Suppress-style suppression is unsupported, focusing only on JSpecify annotations for annotation-driven semantics.

Inspequte Rule Specification Generator

Name: Inspequte Rule Specification Generator
Author: KengoTODA

byKengoTODA

•

セキュリティとテスト

Generates and refines standardized static analysis rule specifications for the Inspequte JVM analysis tool.

The inspequte-rule-spec skill streamlines the creation of behavioral contracts for new JVM static analysis rules. By processing a rule idea and an optional plan, it produces a structured spec.md file following a strict template that includes motivation, detection logic, and acceptance criteria. It ensures that rule definitions remain focused on high-level behavior rather than implementation details, facilitating clear communication between rule designers and implementers while maintaining stylistic alignment with the Inspequte ecosystem.

主な機能

01Context-Aware Generation: Analyzes AGENTS.md and existing specs to ensure new rules align with project styles and standards.

02Comprehensive Example Creation: Generates True Positive (TP), True Negative (TN), and Edge Case examples for robust rule definitions.

03JVM-Specific Guardrails: Handles JSpecify annotation support and explicit annotation scope definitions for JVM-focused analysis.

04Behavioral Contract Focus: Specifically designed to exclude implementation details like Rust APIs or algorithm internals to maintain a clean contract.

055 GitHub stars

06Standardized Template Enforcement: Automatically generates spec.md files with all required sections from Summary to Acceptance Criteria.

ユースケース

01Documenting intended JVM code patterns and anti-patterns for detection without diving into the underlying codebase.

02Bootstrapping new static analysis rules from a rough concept or plan.md file.

03Refining existing rule specifications to ensure they meet the contractual standards of the Inspequte project.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add kengotoda/inspequte inspequte-rule-spec

For use in Claude.ai and ChatGPT

Download Skill