Auth Validation
PlamenTSV/plamen
Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents
Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar.
Install Soroban Contract Audit
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-audit --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/soroban-contract-audit .claude/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .claude/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-auditType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-audit --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/soroban-contract-audit .agents/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .agents/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-audit --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/soroban-contract-audit .cursor/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .cursor/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/sickn33/agentic-awesome-skills.git --path skills/soroban-contract-audit--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-audit --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/soroban-contract-audit .gemini/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .gemini/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-auditInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/soroban-contract-audit .github/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .github/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install sickn33/agentic-awesome-skills soroban-contract-audit --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/soroban-contract-audit .opencode/skills/soroban-contract-audit && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "soroban-contract-audit" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/soroban-contract-audit into .opencode/skills/soroban-contract-audit/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "soroban-contract-audit", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
soroban-contract-audit- GitHub stars
- 47k
- Used in
- 1 other repo
- Token cost
- ~1.4k tokens
- SKILL.md length
- 495 words
- Files
- 1
- Skills in repo
- 1,497
- Repo updated
- First seen
- Licence
- MIT
At a glance
Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar.
- Works in 3 steps: Define the parameters, thresholds, and… → Select appropriate boundary enforcement… → Export standardized artifacts (CSV…
- Tasks that involve Smart contract auditing
- SKILL.md covers Overview, When to Use This Skill, How It Works and Field Reference, plus 9 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Soroban Contract Audit is an agent skill from sickn33/agentic-awesome-skills. Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar.
Its SKILL.md is about 1.4k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Security, covering Smart contract auditing. It works with Stellar and SQL. The repository describes itself as: AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 2,400+ agentic skills. Includes… The licence is MIT.
When your agent uses it
- Tasks that involve Smart contract auditing
Example prompts
- “/soroban-contract-audit”
Workflow steps
3 steps, taken from the first numbered list in SKILL.md.
- Define the parameters, thresholds, and identity bindings required for the target operational register.
- Select appropriate boundary enforcement values from validated enum select sets.
- Export standardized artifacts (CSV table, SQL DDL, JSON Schema) to integrate into validation CI pipelines.
What it can do on your machine
Read from SKILL.md and the folder at commit b84d35a. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Soroban Contract Audit loads about 1.4k tokens when it runs. Until then it costs about 44 tokens; SKILL.md has 495 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from sickn33/agentic-awesome-skills at commit b84d35a, republished under its MIT licence (© sickn33). 495 words, ~1,357 tokens.
Download SKILL.mdSave it as
.claude/skills/soroban-contract-audit/SKILL.md (or your agent's skills folder).- name
- soroban-contract-audit
- description
- Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar.
- category
- engineering
- risk
- safe
- source
- self
- source_type
- self
- date_added
- 2026-10-01
- author
- Ranjeet2063
- tags
- stellar, soroban, rust, smart-contracts, security, audit, web3
- source_repo
- Ranjeet2063/agentic-awesome-skills
Soroban Contract Security Audit
What it is: Tracks formal security audit findings, authorization invariants, and WASM storage footprint compliance for Soroban Rust smart contracts on Stellar.
Overview
Provides a standardized, auditable framework and data model for Soroban Contract Security Audit operations across distributed engineering and decentralized application systems.
When to Use This Skill
- When formalizing architectural contracts, security invariants, or operational limits for Soroban Contract Security Audit.
- When cross-functional review is required between protocol developers, smart contract auditors, and AI engineering agents.
- When generating reproducible CSV, SQL DDL, JSON Schema, and Notion property registers for tracking compliance.
How It Works
- Define the parameters, thresholds, and identity bindings required for the target operational register.
- Select appropriate boundary enforcement values from validated enum select sets.
- Export standardized artifacts (CSV table, SQL DDL, JSON Schema) to integrate into validation CI pipelines.
Field Reference
| # | Field Name | Type | SQL Type | JSON Schema Type | Notion Property Type | Example Value |
|---|---|---|---|---|---|---|
| 1 | Audit Finding ID | id | SERIAL PRIMARY KEY | integer | Text | AUD-001 |
| 2 | Contract Address | text | VARCHAR(56) | string | Text | CA3D5K... |
| 3 | Function Name | text | VARCHAR(64) | string | Text | transfer_with_approval |
| 4 | Severity Tier | select | VARCHAR(32) | string | Select | High |
| 5 | Vulnerability Class | select | VARCHAR(64) | string | Select | Missing Auth Check |
| 6 | Storage Footprint Type | select | VARCHAR(32) | string | Select | Persistent |
| 7 | Panic Pathway Present | select | VARCHAR(16) | string | Select | Yes |
| 8 | PoC Test Case | text | VARCHAR(255) | string | Text | test_unauthorized_state_drain |
| 9 | Remediation Status | select | VARCHAR(32) | string | Select | Remediated |
| 10 | Auditor Lead | text | VARCHAR(64) | string | Text | Ranjeet2063 |
| 11 | Verification Date | date | DATE | string, format: date | Date | 2026-10-01 |
Select Options
Severity Tier
Critical | High | Medium | Low | InformationalVulnerability Class
Missing Auth Check | Integer Overflow | Storage Desync | Reentrancy Variant | Unbounded Loop | Gas ExhaustionStorage Footprint Type
Instance | Persistent | TemporaryPanic Pathway Present
Yes | NoRemediation Status
Identified | In Progress | Remediated | Risk AcceptedRelations
Audit Reference-> links to the formal review documentation or test repository.Target Architecture-> links to the deployed contract or autonomous agent runtime component.
Show full SKILL.md (203 more words)Show less
Examples
Prompt
How do I configure and track Soroban Contract Security Audit for our production environment?Recommended Next Step
Generate the unified field schema, SQL DDL migration, and JSON validation schema to register into your system catalog.
Workflow: Define criteria -> Run automated verification -> Record baseline -> Monitor invariants.
Best Practices
- Enforce strict typing on numerical bounds and currency amounts; avoid unstructured free-text fields for critical states.
- Re-run validation test suites on every state-altering commit or parameter change.
- Keep example data synthetic and isolated from production cryptographic keys or private endpoints.
Limitations
- Provides architectural specifications, data models, and verification schemas; does not execute direct transaction signing without authorized external tooling.
- Requires network connectivity and valid RPC credentials when querying on-chain states.
Security & Safety Notes
- All parameters declare
risk: safe. No unauthorized state modification or privileged credential access is performed. - Use synthetic dummy keys and mock addresses in test suites and local verification scripts.
Common Pitfalls
- Problem: Mismatched decimal precision between contract runtime and database register. Solution: Always verify decimals using the explicit field mapping in this reference.
- Problem: Missing authorization checks prior to state update. Solution: Cross-validate against the Security Audit register before deployment.
Related Skills
- @smart-contract-formal-verification - verifies state invariants mathematically.
- @soroban-liquidity-pool - covers AMM invariant and LP-share modelling.
- @soroban-token-minter - covers SEP-41 token supply, admin and event modelling.
Reusable Prompt
I want to establish a verified Soroban Contract Security Audit register for our production protocol.
Guide me through the required field parameters and output the corresponding SQL DDL and JSON Schema.© sickn33, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
Just SKILL.md in skills/soroban-contract-audit of sickn33/agentic-awesome-skills.
Open the folder on GitHubat commit b84d35a
Used in 1 other repository
We found 5 copies of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in sickn33/agentic-awesome-skills, which our catalogue first saw on October 7, 2026.
Compare with similar skills
Soroban Contract Audit next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Soroban Contract Audit this skillsickn33/agentic-awesome-skills | 47k | 1 repos | ~1.4k | Automated safety check: Pass | MIT | |
| Auth ValidationPlamenTSV/plamen | 303 | — | ~2.2k | Automated safety check: Pass | MIT | |
| Centralization RiskPlamenTSV/plamen | 303 | — | ~3k | Automated safety check: Pass | MIT | |
| Contract UpgradeabilityPlamenTSV/plamen | 303 | — | ~2k | Automated safety check: Pass | MIT | |
| Cross Chain TimingPlamenTSV/plamen | 303 | — | ~4.1k | Automated safety check: Pass | MIT | |
| Economic Design AuditPlamenTSV/plamen | 303 | — | ~2.1k | Automated safety check: Pass | MIT |
Similar skills
Centralization Risk
PlamenTSV/plamen
Trigger Pattern Protocol has privileged authorities (admin, operator, upgrade authority, governance) - Inject Into Breadth agents (optional), depth-state-trace
Contract Upgradeability
PlamenTSV/plamen
Trigger Pattern updatecurrentcontractwasm detected in codebase - Inject Into Breadth agents, depth-state-trace
Cross Chain Timing
PlamenTSV/plamen
Trigger Pattern stellarbridge|sorobanbridge|horizon|anchorprotocol|bridge|crosschain|relay|wormhole|allbridge|debridge|axelar|LayerZero|sequence|emitter - Inject Into Breadth agents, depth-external
Economic Design Audit
PlamenTSV/plamen
Trigger Pattern MONETARYPARAMETER flag (fee, rate, emission, cap, bps values) - Inject Into Breadth agents (merged via M4 hierarchy)
External Precondition Audit
PlamenTSV/plamen
Trigger Pattern Any env.invokecontract() or env.tryinvokecontract() detected in contract - Inject Into Breadth agents
More from sickn33/agentic-awesome-skills
All 1,497 skills in this repoLiuguang Banlan UI
sickn33/agentic-awesome-skills
Implements an interface in one of two named color modes, iridescent white or colorful black, from a parameterized starter that reports measured color intensity.
User Thoughts Memory
sickn33/agentic-awesome-skills
Saves a user's project decisions, rules and preferences into a project-local mdbase so later sessions and other agents can recover the intent.
Using LWC Memory and Graphs
sickn33/agentic-awesome-skills
Keeps project decisions, research and verified results available across coding-agent sessions through LWC memory, a document Wiki graph and a CodeGraph code index.
Find Complementary Founders
sickn33/agentic-awesome-skills
Guides an agent through assessing its own owner for cofounder fit, publishing an approved profile, and ranking complementary profiles other agents published for their owners.
Whatsapp Cloud API
sickn33/agentic-awesome-skills
Integracao com WhatsApp Business Cloud API (Meta). An agent skill from sickn33/agentic-awesome-skills.
Cline Pilot
sickn33/agentic-awesome-skills
Acts as a proxy for the Cline CLI, dispatching coding tasks one at a time, monitoring runs by hard evidence, relaying decisions to you and learning per-project preferences.
Related
Categories
Questions about Soroban Contract Audit
What does Soroban Contract Audit do?
Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar. Soroban Contract Audit is an agent skill from sickn33/agentic-awesome-skills. Soroban smart contract security audit register: authorization checks, panic pathways, integer overflows, and storage footprint verification for Stellar.
When should I use Soroban Contract Audit?
Soroban Contract Audit fits situations like: tasks that involve Smart contract auditing.
How do I install Soroban Contract Audit in Claude Code?
Run `npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a claude-code`. Or copy the skill folder (skills/soroban-contract-audit in sickn33/agentic-awesome-skills) into .claude/skills/soroban-contract-audit in your project. Claude Code loads it when a task matches its description.
How do I install Soroban Contract Audit in Codex?
Run `npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a codex`. Or copy the skill folder (skills/soroban-contract-audit in sickn33/agentic-awesome-skills) into .agents/skills/soroban-contract-audit in your project. Codex loads it when a task matches its description.
Can I use Soroban Contract Audit in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add sickn33/agentic-awesome-skills --skill soroban-contract-audit -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/soroban-contract-audit, .gemini/skills/soroban-contract-audit, .github/skills/soroban-contract-audit and .opencode/skills/soroban-contract-audit in your project.
What does Soroban Contract Audit need to run?
SKILL.md names no scripts, command-line tools or credentials: Soroban Contract Audit is instructions for the agent only.
Does Soroban Contract Audit access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Soroban Contract Audit safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Soroban Contract Audit use?
Soroban Contract Audit is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Soroban Contract Audit use?
About 1.4k tokens (SKILL.md is roughly 5.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Soroban Contract Audit?
Skills that share tags, products or a category with Soroban Contract Audit: Auth Validation (PlamenTSV/plamen, 303 stars), Centralization Risk (PlamenTSV/plamen, 303 stars), Contract Upgradeability (PlamenTSV/plamen, 303 stars) and Cross Chain Timing (PlamenTSV/plamen, 303 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Soroban Contract Audit?
sickn33 (a GitHub user) maintains it in sickn33/agentic-awesome-skills, which has 47,405 GitHub stars. The repository holds 1,497 skills in this directory. The repository was last updated on October 9, 2026.
Source: sickn33/agentic-awesome-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.