Program Analysis is a Quality skill for Claude Code, published by deonmenezes in mantishack.
Program Analysis uses source-sink scanning, AST pattern search, and SMT reachability checks to narrow candidates and prove whether a path to a sink is reachable. Use it after finding a potential issue to confirm or reject exploitability.
Program Analysis is cataloged under Quality on DirSkills. Program Analysis comes from a repository tagged agent-harness, ai-agents, autonomous-agents, bug-bounty and claude-code.
Documentation
The mantis_program_analysis MCP server is the program-analysis substrate (PRD FR-3.1/3.2/3.3): it doesn't find vulnerabilities by itself, it gives you the primitives to prove or disprove reachability for candidates surfaced elsewhere (semgrep, CodeQL, manual reading).
Three tools, three different jobs:
This is the opening of the README. Read the full README on GitHub.
Program Analysis is one of 25 skills that DirSkills catalogs from deonmenezes/mantishack, the repository it ships in. Its siblings there include Canary Tripwire Response, Code Breaking Changes and Code Review. Each one is a separate skill with its own page in this directory, installs the same way Program Analysis does, and is maintained by deonmenezes in that same repository. The rest of the collection is listed on the deonmenezes/mantishack page.
Program Analysis ranks #1249 by stars among the 1354 Quality skills in this catalog. The most-starred ones next to it are Benchmark, Benchmark Optimization Loop and API Design Patterns. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Program Analysis against them. Open each page to compare what they document and how they install.
Program Analysis is one of 25 skills cataloged on DirSkills from deonmenezes/mantishack.
Program Analysis is one of 1354 Quality skills cataloged on DirSkills, ranked #1249 by stars among them.