AI Agent Workflow Collection

Skill pack

AGENT SKILLS ATLAS

AI Agent Workflow Collection

Includes Ability Analysis, Account Abstraction Security, Account Lifecycle, and other workflows.

Install with

Claude Code

Codex

Cursor

GitHub Copilot

Gemini CLI

Supported by the Atlas install prompt. Skill-specific requirements vary.

Pack stats

Skills71CategorygeneralStars0

What’s included

Ability Analysis

Trigger Pattern Always (Sui Move) -- foundational security check - Inject Into Breadth agents, depth agents

Account Abstraction Security

Protocol Type Trigger accountabstraction (detected when ERC-4337 interfaces, EntryPoint, UserOperation, or Paymaster patterns found) - Inject Into Breadth agents, depth-external

Account Lifecycle

Trigger Pattern ACCOUNTCLOSING flag detected (close/CloseAccount usage) - Inject Into Breadth agents, depth agents

Account Validation

Trigger Pattern Always required for Solana audits - Inject Into Breadth agents, depth agents

Prepare Solidity projects for a security audit — test coverage, test quality, NatSpec docs, code hygiene, dependency health, best-practice enforcement, deployment readiness, and project documentation checks. Generates a scored Audit Readiness Report and optionally runs static analysis. Trigger on: "prepare for audit", "audit readiness", "pre-audit check", "audit prep", "NatSpec check", or any request to review a Solidity codebase before a security review.

Auth Validation

Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents

Authorization Model

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external

Bit Shift Safety

Trigger Pattern Always (Aptos Move) - Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case

Centralization Risk

Trigger Protocol has privileged roles (admin, operator, governance, resource account owner) - Covers Single points of failure, privilege escalation, external governance dependen...

Choice Semantics

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case

Cid Capability Safety

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-case

Config Correctness

L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.

Consensus Math Correctness

L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.

Consensus Safety Invariants

L1 trigger - detects non-determinism, state transition completeness violations, and safety/liveness invariant breaks in consensus code. Inject into depth-consensus-invariant or depth-state-trace.

Consensus Tx Identity Invariants

L1 trigger - audits replay protection, transaction identity binding, and cross-layer uniqueness.

Contract Key Safety

Trigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace

Contract Upgradeability

Trigger Pattern updatecurrentcontractwasm detected in codebase - Inject Into Breadth agents, depth-state-trace

Cosmos SDK Module Safety

L1 trigger - audits Cosmos-SDK / CometBFT modules for consensus non-determinism, unmetered ABCI hooks, signer/state mismatches, module-account bookkeeping breaks, sdk.Dec rounding, ABCI-path panics, unregistered Msg handlers, and fee/gas overflow.

Cpi Security

Trigger Pattern CPI flag detected (invoke/invokesigned/CpiContext usage) - Inject Into Breadth agents, depth agents

Cross Chain Timing

Custom Type Safety

Trigger Pattern contractimport! or contracttype detected - Inject Into Breadth agents, depth-external

Data Availability Enforcement

L1 supplement - audits storage / data-availability chains (Arweave / Celestia-class) for unenforced data commitments: producer commits to data inclusion but the validator never verifies the data was actually published / gossiped / sampled.

Dependency Audit Nodeclient

L1 supplement - audits Go modules and Rust crates for known vulnerabilities, outdated versions, supply chain risks, and replace/patch directives.

Economic Design Audit

Trigger Pattern MONETARYPARAMETER flag (fee, rate, emission, cap, bps as template fields) - Inject Into Breadth agents (merged via M4 hierarchy)

Showing 24 of 71 skills. Use the list’s page controls above to explore the rest.

Quick start

Choose your skills. Select individual skills above, or choose the entire pack.
Copy the install prompt. Use Copy install prompt above the list.
Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.

Try it with your agent

After installation, start with a request like:

Example request

Use the Ability Analysis skill to help with my task.
Ask me for the context you need before getting started.

Requirements & license

A coding agent that can access your project files and install skills.
Your agent checks each skill’s instructions, dependencies, and permissions during setup.
Reported license for the skills shown: MIT. The author’s terms apply.

Installation guide →Skill review & security →