quillai-network/quillshield_skills

99 stars · Last commit 2026-03-30

Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle attack chains, simulates adversarial exploits, and scores findings.

README preview

# QuillShield Security Skills

[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

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](#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.

View full repository on GitHub →