Why does it ignore plan.md and chat logs?

To ensure the verification is based solely on the final code and specification, eliminating bias from the implementation process or developer discussion.

What kind of output does the skill provide?

It generates a comprehensive markdown report covering spec compliance, noise risks, stability, and a final Go or No-Go recommendation.

What files are required for this skill to work?

You must provide a verify-input/ directory containing spec.md, a change set (like diff.patch), and audit or test reports.

Does it support JVM-specific standards?

Yes, it specifically checks for compliance with JSpecify annotation semantics and potential issues with @Suppress behaviors.

What is the primary purpose of inspequte-rule-verify?

It performs an objective, isolated audit of static analysis rule changes to ensure they meet the provided specification without relying on author intent.

Inspequte Rule Verifier

Name: Inspequte Rule Verifier
Author: KengoTODA

byKengoTODA

•

安全与测试

Performs objective, isolated verification of static analysis rule changes against specifications to ensure compliance and stability.

The inspequte-rule-verify skill provides a rigorous, isolation-based framework for auditing JVM static analysis rule changes within the Inspequte ecosystem. By strictly limiting context to input specifications, patches, and report files, it eliminates bias from implementation logs or chat history, ensuring that every 'Go/No-Go' decision is backed by concrete evidence. This skill is essential for maintainers and automated agents who need to validate that a new or updated rule adheres to the design spec without introducing regressions, performance bottlenecks, or false positives.

主要功能

01Compliance checking for JSpecify and annotation semantics

02Automatic generation of detailed Go/No-Go recommendation reports

03Detection of false positive and noise risks in rule changes

04Isolated verification using only provided spec and patch files

055 GitHub stars

06Performance and regression impact assessment

使用场景

01Automated quality assurance for AI-generated code analysis logic

02Validating a new JVM static analysis rule against its design specification

03Auditing rule changes to prevent regressions in high-stakes codebases

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add kengotoda/inspequte inspequte-rule-verify

For use in Claude.ai and ChatGPT

Download Skill