#mantis

Results

• DE
  babysit-pr

  Babysit a GitHub pull request after creation by continuously polling review comments, CI checks/workflow runs, and mergeability state until the PR is…

  deonmenezesIncludes 2 scripts
  →
• DE
  openai-docs

  Provide authoritative, current guidance from OpenAI developer docs using the developers.openai.com MCP server.

  deonmenezesIncludes 2 scripts
  →
• DE
  codex-issue-digest

  Run a GitHub issue digest for openai/codex by feature-area labels, all areas, and configurable time windows.

  deonmenezesIncludes 2 scripts
  →
• DE
  mantis-pipeline

  The master Mantis playbook -- how to run an authorized vulnerability-discovery engagement end to end, which subagent owns each stage, which…

  deonmenezesInstructions only
  →
• DE
  update-v8-version

  Update Codex's pinned v8 / rusty_v8 versions, validate the release-candidate path, and investigate failed V8 canary or artifact builds.

  deonmenezesRuns terminal commands
  →
• DE
  codex-bug

  Diagnose GitHub bug reports in openai/codex.

  deonmenezesContacts outside web addresses
  →
• DE
  findings-spine

  Record and advance every vulnerability finding through the tool-owned mantis_findings service instead of tracking findings in prose

  deonmenezesInstructions only
  →
• DE
  path-types

  Choose Rust types for operating system paths across the Codex repository.

  deonmenezesInstructions only
  →