高度なスマートコントラクトセキュリティ監査のためのAIエージェントスキル。 これらのスキルは、従来の静的解析ツールが見逃す脆弱性を検出するためのQuillShield方法論のAIエージェント(クロード、カーソル)を教えています。

クイックスタート

-Claude: Claudeプラグインとしてこのリポジトリをインストールします。市場は[.claude-plugin/marketplace.jsonで定義されます。 監査に必要なプラグインを有効にします。 -Cursor: 監査時にスキルを参照する - たとえば @plugins/reentrancy-pattern-analysis/skills/reentrancy-pattern-analysis/SKILL.md - プラグイン [skills/]]をコピーするか、Cursorのスキルディレクトリにフォルダーをコピーします。

• 正しいスキルを使用する: 各プラグインを使用する際は、下の表とスキルの概要を参照してください。

スキルの概要

##1.行動状態分析(BSA) プラグイン: [plugins/behavioral-state-analysis/]

包括的な監査方法論。 行動的なインテント抽出、多次元の脅威モデリング(経済、アクセス制御、状態の整合性)、PoC生成と広告シミュレーション、ベイジアンの自信のスコアリングを組み合わせます。

使用時: 完全なスマートコントラクトのセキュリティ監査、DeFiプロトコルをモデリングする脅威、または不正防止の生成を開始します。

##2.

QuillShield Security Skills

AI agent skills for advanced smart contract security auditing. These skills teach AI agents (Claude, Cursor) the QuillShield methodology for detecting vulnerabilities that traditional static analysis tools miss.

Quick start

• Claude: Install this repo as a Claude plugin; the marketplace is defined in .claude-plugin/marketplace.json. Enable the plugins you need for your audit.
• Cursor: Reference a skill when auditing — e.g. @plugins/reentrancy-pattern-analysis/skills/reentrancy-pattern-analysis/SKILL.md — or copy plugin skills/ folders into your Cursor skills directory.
• Use the right skill: See the table below and the Skills Overview for when to use each plugin.

Skills Overview

1. Behavioral State Analysis (BSA)

Plugin: plugins/behavioral-state-analysis/

The comprehensive audit methodology. Combines behavioral intent extraction, multi-dimensional threat modeling (economic, access control, state integrity), adversarial simulation with PoC generation, and Bayesian confidence scoring.

Use when: Starting a full smart contract security audit, threat modeling DeFi protocols, or generating exploit proof-of-concepts.

2. Semantic Guard Analysis

Plugin: plugins/semantic-guard-analysis/

Detects logic vulnerabilities by finding functions that bypass security checks (require statements, modifiers) that the contract’s own code consistently applies elsewhere. Based on the Consistency Principle: “A smart contract is its own specification.”

Use when: Looking for missing access controls, forgotten pause checks, inconsistent modifiers, or logic bugs invisible to pattern-matching tools.

3. State Invariant Detection

Plugin: plugins/state-invariant-detection/

Automatically infers mathematical relationships between state variables (sum, conservation, ratio, monotonic, synchronization) then finds functions that violate them. Catches the vulnerabilities behind the biggest DeFi hacks.

Use when: Auditing for supply/balance mismatches, broken tokenomics, accounting desynchronization, or conservation law violations.

4. Reentrancy Pattern Analysis

Plugin: plugins/reentrancy-pattern-analysis/

Systematically detects all reentrancy variants — classic, cross-function, cross-contract, read-only, and ERC-777/ERC-1155 callback reentrancy. Builds call graphs, verifies CEI pattern compliance, and traces state changes relative to external call positions.

Use when: Auditing contracts with external calls, ETH transfers, token interactions, or multi-contract architectures. Covers the most infamous smart contract vulnerability class.

5. Oracle & Flash Loan Analysis

Plugin: plugins/oracle-flashloan-analysis/