Menu
SkillsMP a collecté 14 skills depuis deonmenezes/mantishack. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 14 skills collectés sur 14.
Generate or edit raster images when the task benefits from AI-created bitmap visuals such as photos, illustrations, textures, sprites, mockups, or transparent-background cutouts. Use when Codex should create a brand-new image, transform an existing image, or…
Langue du texte source : anglais
What to do if a mantis_canary decoy tool ever shows up as tempting or gets called -- treat it as a security incident, not a normal tool result
Langue du texte source : anglais
Build a CodeQL database and run dataflow-backed query-suite analysis via the mantis_codeql MCP server
Langue du texte source : anglais
Diagnose GitHub bug reports in openai/codex. Use when given a GitHub issue URL from openai/codex and asked to decide next steps such as verifying against the repo, requesting more info, or explaining why it is not a bug; follow any additional user-provided…
Langue du texte source : anglais
Run a GitHub issue digest for openai/codex by feature-area labels, all areas, and configurable time windows. Use when asked to summarize recent Codex bug reports or enhancement requests, especially for owner-specific labels such as tui, exec, app, or similar…
Langue du texte source : anglais
When and how to reach for the companion detectors -- bandit (Python SAST) and trivy (deps + secrets + IaC misconfig) -- alongside the core semgrep/CodeQL/osv/trufflehog toolchain
Langue du texte source : anglais
Record and advance every vulnerability finding through the tool-owned mantis_findings service instead of tracking findings in prose
Langue du texte source : anglais
Turn a captured HTTP request/response into a bounded, redacted evidence pack with a stable request-ref using the mantis_http_audit MCP server, instead of pasting raw traffic into a finding
Langue du texte source : anglais
The master Mantis playbook -- how to run an authorized vulnerability-discovery engagement end to end, which subagent owns each stage, which MCP tool feeds it, and how findings move through the tool-owned lifecycle
Langue du texte source : anglais
Run osv-scanner via the mantis_osv_scanner MCP server for SCA (vulnerable dependency) findings
Langue du texte source : anglais
Use ast_grep_scan, source_sink_scan, and smt_check_reachability (mantis_program_analysis MCP server) to move a candidate toward a proven-reachable finding
Langue du texte source : anglais
Pushing GitHub Actions changes, resolving push rejection, requesting upload exceptions.
Langue du texte source : anglais
Run trufflehog via the mantis_trufflehog MCP server and handle secret findings without ever exposing the raw secret
Langue du texte source : anglais
Run semgrep via the mantis_semgrep MCP server and triage results into the candidate/confirmed/rejected lifecycle
Langue du texte source : anglais