Sast Businesslogic
utkusen/sast-skills
Detect business logic vulnerabilities in a codebase using a three-phase approach: threat modeling (domain analysis and attack scenarios), batched verify (check exploitable gaps in parallel…
Classify project-used dependency members and record taint sources as rule-authoring units.
$ npx skills add seqra/opentaint --skill discover-attack-surface -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install seqra/opentaint discover-attack-surface --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/seqra/opentaint.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/discover-attack-surface .claude/skills/discover-attack-surface && 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 "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .claude/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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/seqra/opentaint/tree/main/skills/discover-attack-surfaceType 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 seqra/opentaint --skill discover-attack-surface -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install seqra/opentaint discover-attack-surface --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/seqra/opentaint.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/discover-attack-surface .agents/skills/discover-attack-surface && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .agents/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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 seqra/opentaint --skill discover-attack-surface -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install seqra/opentaint discover-attack-surface --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/seqra/opentaint.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/discover-attack-surface .cursor/skills/discover-attack-surface && 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 "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .cursor/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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/seqra/opentaint.git --path skills/discover-attack-surface--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 seqra/opentaint --skill discover-attack-surface -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install seqra/opentaint discover-attack-surface --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/seqra/opentaint.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/discover-attack-surface .gemini/skills/discover-attack-surface && 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 "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .gemini/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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 seqra/opentaint discover-attack-surfaceInstalls 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 seqra/opentaint --skill discover-attack-surface -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/seqra/opentaint.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/discover-attack-surface .github/skills/discover-attack-surface && 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 "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .github/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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 seqra/opentaint --skill discover-attack-surface -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install seqra/opentaint discover-attack-surface --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/seqra/opentaint.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/discover-attack-surface .opencode/skills/discover-attack-surface && 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 "discover-attack-surface" agent skill from https://github.com/seqra/opentaint/tree/main/skills/discover-attack-surface into .opencode/skills/discover-attack-surface/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "discover-attack-surface", 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.
discover-attack-surfaceClassify project-used dependency members and record taint sources as rule-authoring units.
Discover Attack Surface is an agent skill from seqra/opentaint. Classify project-used dependency members and record taint sources as rule-authoring units. Use for the source-discovery depth pass
Its SKILL.md is about 1.7k tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files, including reference files (for example `references/java.md`).
It sits in Security, covering Threat modeling and Static analysis and SAST. The repository describes itself as: The open source taint analysis engine for the AI era. A formal dataflow analysis tool you can customize and self-host, built so AI agents drive your application security analysis… The licence is Apache-2.0.
4 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit f945f92. It shows what the files ask for, not the result of running them.
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.
No scripts in the folder and no shell commands in SKILL.md (its code samples are yaml).
From the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Discover Attack Surface loads about 1.7k tokens when it runs, and up to ~1.9k if it reads all its reference files. Until then it costs about 39 tokens; SKILL.md has 823 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.
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.
The full file from seqra/opentaint at commit f945f92, republished under its Apache-2.0 licence (© seqra). 823 words, ~1,676 tokens.
.claude/skills/discover-attack-surface/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.Work one assignment of project-used dependency members and pick out the taint sources among them — the methods where untrusted data first enters. The assigned language reference defines the concrete inspection commands and identifier formats for the workflow below.
Provided by the caller, fall back to the default value when omitted. Ask back only when a required input is missing and has no sensible default
project-root (optional) — root of the target project. Opentaint keeps all analysis artifacts under the fixed <project-root>/.opentaint/ directory, so every .opentaint/... path below resolves there. Default: current directorylanguage (required) — target language for this project and language-specific instructionsplan (required) — path to this agent's partition plan .opentaint/tracking/rules/plans/<id>.yaml: the project-used dependency members to classifyRead references/<language>.md before starting. Its numbered steps provide the language-specific details for the workflow below.
The assigned plan's scopes contains the already-extracted project-used dependency members that still need a verdict. Inspect only those members. Confirm their dependency identity and exact signatures, then read application source, dependency source and API documentation, representative usages, and relevant framework configuration to understand how data enters the project.
A source is the exact boundary where untrusted data first enters from a network, persistence, serialization, messaging, execution, or another external channel. For a callable member, decide whether it returns or otherwise exposes attacker-controlled data. A member that merely passes along data it was handed is a propagator, not a source.
Classify behavior rather than package or class names. For an individual member, prefer recording a borderline source with the uncertainty noted: later scan and triage can reject a false positive, while an omitted source becomes an unrecoverable false negative.
Complete the plan's source list in the form required by the language reference. Record every discovered source in its plan and write its source unit with tag: untrusted-data-source; resolving that unit to an existing or new rule happens later in create-rule. Non-sources create no unit. Mark an empty result explicitly so the reconcile join can distinguish it from a plan whose agent never returned. Where an owned unit already exists, merge new entries without rewriting its existing entries or stages.
Re-check the full assigned scope against the classification. Re-read every rejected member and make sure it does not establish an external-input boundary. Confirm every source appears both in the completed plan and its source unit, no rejected member has a unit, and no pending/null verdict remains.
Short and concise report of what was done
.opentaint/tracking/rules/sources/<unit>.yaml — each source unit required by the completed plansource.opentaint/tracking/rules/sources/<package-kebab>.yaml — one source unit per package (a dependency can span several packages), the file named for that package with . → -. tag is always the reusable untrusted-data-source group. dependencies names the dependency the package comes from, sources each an entry point { method, signature, note, rule_id } (method and signature use the exact language-specific identifiers from the plan), stages tracks the unit through rule authoring, and a blocker string is added under it when the unit can't be made to pass. Keep it clear from comments
dependencies:
- <dependency-id>
tag: untrusted-data-source
sources:
- { method: "<qualified-member>", signature: "<language-signature>", note: untrusted message payload, rule_id: null }
stages:
test_project: pending
tests_passing: pendingThis skill sets tag: untrusted-data-source, fills dependencies, and adds one { method, signature, note, rule_id } entry per source. Copy method + signature from the plan, explain why the data is untrusted in note, and leave rule_id: null and the stages for rule authoring.
The plan .opentaint/tracking/rules/plans/<id>.yaml — read your members from its scopes map, record the sources you find under a top-level source list; the join then ledgers source + safe (members − source), keyed by the exact method and signature so distinct callable variants stay separate. It is regenerable and disposable, not durable state:
id: lib-001
scopes:
<package-kebab>:
- { method: "<qualified-member-a>", signature: "<language-signature-a>" }
- { method: "<qualified-member-b>", signature: "<language-signature-b>" }
source:
- { method: "<qualified-member-a>", signature: "<language-signature-a>" }source: null is the generated plan's unprocessed sentinel. On completion, replace it with the exact sources found, or source: [] when there are none; mark-safe leaves a null plan for re-dispatch instead of incorrectly classifying all its members as safe. Every member listed as a source must also appear in its source unit.
OpenTaint is a whole-program, interprocedural, field-sensitive alias analysis engine. It already propagates through visible application code, calls, aliases, and individual fields; custom rules and approximations model only the assigned source, sink, or opaque-method boundary. Compile-time constants and literals carry no taint, so a source or carrier whose output is only a constant introduces nothing.
tags.yaml. Plans partition their write ownership according to the language reference© seqra, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 1 other file (references) in skills/discover-attack-surface of seqra/opentaint.
Open the folder on GitHubat commit f945f92
Discover Attack Surface 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 |
|---|---|---|---|---|---|---|
| Discover Attack Surface this skillseqra/opentaint | 162 | — | ~1.7k | Automated safety check: Pass | Apache-2.0 | |
| Sast Businesslogicutkusen/sast-skills | 1.3k | — | ~5.3k | Automated safety check: Pass | MIT | |
| Trailmark Structuraltrailofbits/skills | 7.4k | — | ~1.5k | Automated safety check: Notes | CC-BY-SA-4.0 | |
| Audit Integritygithub/awesome-copilot | 40k | — | ~1k | Automated safety check: Pass | MIT | |
| Security Auditseb1n/awesome-ai-agent-skills | 206 | — | ~2.4k | Automated safety check: Notes | MIT | |
| CSO Security Auditgarrytan/gstack | 136k | — | ~4.5k | Automated safety check: Pass | MIT |
utkusen/sast-skills
Detect business logic vulnerabilities in a codebase using a three-phase approach: threat modeling (domain analysis and attack scenarios), batched verify (check exploitable gaps in parallel…
trailofbits/skills
Runs full Trailmark structural analysis by building a graph, running preanalysis(), and reporting hotspots, taint, blast radius, privilege boundaries, attack surface, and version-gated Trailmark…
github/awesome-copilot
Enforce output quality, evidence verification, and quality gates across security audits.
seb1n/awesome-ai-agent-skills
Perform a broad, authorized security audit across application, infrastructure, identity, dependencies, and operations.
garrytan/gstack
Runs an evidence-first security audit of a codebase through gstack's trusted launcher, with static findings by default and isolated reproduction when enabled.
trailofbits/skills
Builds a code graph of functions, classes and calls across languages, then queries it for call paths, taint, blast radius, entry points and complexity hotspots.
seqra/opentaint
Analyze an OpenTaint scan's dropped external methods and decide which of them are propagators and optionally sinks.
seqra/opentaint
Model a method's taint propagation as code-based dataflow approximation and refine it against a test project until the sample passes.
seqra/opentaint
Run one stage of the OpenTaint pipeline by coordinating leaf subagents and deterministic joins.
seqra/opentaint
Run an end-to-end OpenTaint application-security analysis while owning the long project build and scans and delegating each other pipeline stage.
seqra/opentaint
Build a target project into an opentaint project model. An agent skill from seqra/opentaint.
seqra/opentaint
Model a method's taint propagation as a passThrough approximation.
Categories
Classify project-used dependency members and record taint sources as rule-authoring units. Discover Attack Surface is an agent skill from seqra/opentaint. Classify project-used dependency members and record taint sources as rule-authoring units.
Discover Attack Surface fits situations like: the source-discovery depth pass; tasks that involve Threat modeling; tasks that involve Static analysis and SAST.
Run `npx skills add seqra/opentaint --skill discover-attack-surface -a claude-code`. Or copy the skill folder (skills/discover-attack-surface in seqra/opentaint) into .claude/skills/discover-attack-surface in your project. Claude Code loads it when a task matches its description.
Run `npx skills add seqra/opentaint --skill discover-attack-surface -a codex`. Or copy the skill folder (skills/discover-attack-surface in seqra/opentaint) into .agents/skills/discover-attack-surface in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add seqra/opentaint --skill discover-attack-surface -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/discover-attack-surface, .gemini/skills/discover-attack-surface, .github/skills/discover-attack-surface and .opencode/skills/discover-attack-surface in your project.
SKILL.md names no scripts, command-line tools or credentials: Discover Attack Surface is instructions for the agent only.
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.
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.
Discover Attack Surface is published under the Apache-2.0 licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.7k tokens (SKILL.md is roughly 6.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 212 tokens, read only when the agent opens those files.
Skills that share tags, products or a category with Discover Attack Surface: Sast Businesslogic (utkusen/sast-skills, 1.3k stars), Trailmark Structural (trailofbits/skills, 7.4k stars), Audit Integrity (github/awesome-copilot, 40k stars) and Security Audit (seb1n/awesome-ai-agent-skills, 206 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
seqra (a GitHub organization) maintains it in seqra/opentaint, which has 162 GitHub stars. The repository holds 16 skills in this directory. The repository was last updated on October 7, 2026.
Source: seqra/opentaint on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.