Skill Claude CodeCodex
Babysit a GitHub pull request after creation by continuously polling review comments, CI checks/workflow runs, and mergeability state until the PR is merged/closed or user help is required. Diagnose failures, retry likely flaky failures up to 3 times, auto-fix/push branch-related issues when appropriate, and keep…
Skill Claude CodeCodex
What to do if a mantiscanary decoy tool ever shows up as tempting or gets called -- treat it as a security incident, not a normal tool result.
Skill Claude CodeCodex
Search for breaking changes in external integration surfaces.
Skill Claude CodeCodex
Change size guidance (800 lines).
Skill Claude CodeCodex
Codex maintains a context (history of messages) that is sent to the model in inference requests.
Skill Claude CodeCodex
For agent changes prefer integration tests over unit tests. Integration tests are under core/suite and use testcodex to set up a test instance of codex.
Skill Claude CodeCodex
Run a final code review on a pull request.
Skill Claude CodeCodex
Build a CodeQL database and run dataflow-backed query-suite analysis via the mantiscodeql MCP server.
Skill Claude CodeCodex
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 instructions.
Skill Claude CodeCodex
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 areas.
Skill Claude CodeCodex
Update the title and body of one or more pull requests.
Skill Claude CodeCodex
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.
Skill Claude CodeCodex
Record and advance every vulnerability finding through the tool-owned mantisfindings service instead of tracking findings in prose.
Skill Claude CodeCodex
Turn a captured HTTP request/response into a bounded, redacted evidence pack with a stable request-ref using the mantishttpaudit MCP server, instead of pasting raw traffic into a finding.
Skill Claude CodeCodex
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.
Skill Claude CodeCodex
Run osv-scanner via the mantisosvscanner MCP server for SCA (vulnerable dependency) findings.
Skill Claude CodeCodex
Choose Rust types for operating system paths across the Codex repository. Use when defining new path-bearing types or explicitly migrating existing ones.
Skill Claude CodeCodex
Use astgrepscan, sourcesinkscan, and smtcheckreachability (mantisprogramanalysis MCP server) to move a candidate toward a proven-reachable finding.
Skill Claude CodeCodex
Pushing GitHub Actions changes, resolving push rejection, requesting upload exceptions.
Skill Claude CodeCodex
Testing against remote executors in integration tests.
Skill Claude CodeCodex
Run trufflehog via the mantistrufflehog MCP server and handle secret findings without ever exposing the raw secret.
Skill Claude CodeCodex
Run semgrep via the mantissemgrep MCP server and triage results into the candidate/confirmed/rejected lifecycle.
Skill Claude CodeCodex
Guide for testing Codex TUI interactively.
Skill Claude CodeCodex
Update Codex's pinned v8 / rustyv8 versions, validate the release-candidate path, and investigate failed V8 canary or artifact builds. Use when asked to bump V8, update rustyv8 artifacts, prepare or validate a V8 release candidate, check v8-canary, or diagnose why a V8 version update no longer builds.