Developer Tools Codex plugins

Package name

agent-shipproof

Publisher keywords · listing

agent-verification completion-receipts test-evidence build-proof git-drift coding-agents ci codex

Publisher description

Record approved commands, selected file hashes, and Git state in local receipts you can verify later.

Publisher full description

Use Completion Receipt when completed agent work or a release check needs a full record someone else can review. Using the supplied approved command and selected paths, it captures what ran, the result, selected file ha…

Package name

engineering-suite-ship

Publisher subtitle

Prepare software to ship

Publisher keywords · listing

engineering-suite ship skills

Package name

ship24

Publisher subtitle

Integrate shipment tracking

Publisher keywords · listing

ship24 tracking shipment-tracking package-tracking parcel-tracking courier logistics mcp agent-skills

Publisher

Ship24 Limited

Publisher name · package

Ship24

Publisher description

Ship24 shipment tracking for AI coding agents: skills to integrate the Ship24 Tracking API, build webhook receivers, look up courier codes, map tracking statuses and troubleshoot errors.

Publisher full description

Ship24 shipment tracking for AI coding agents. Guides you through integrating the Ship24 Tracking API into your own project end to end: every endpoint and schema from the OpenAPI spec, webhook receivers…

Publisher description

ShipStatic publishes static websites from files created in ChatGPT. Users can deploy anonymously to an instant live URL, optionally protect a deployment with a password, and connect an account to inspec…

Publisher

Spaceship, Inc

Publisher description

Spaceship's app enables domain name availability checking and pricing lookup for single or multiple domains. Users can search for specific domains, request alternative suggestions when domains are unavailabl…

Publisher capabilities · listing

Local capture Receipt verification

Publisher keywords · listing

agent-evidence codex hash-chain session-receipt

Publisher description

Keep a local hash-only receipt of a new instrumented Codex session and verify it later.

Publisher full description

Starts a new instrumented Codex CLI session and leaves a local, hash-only receipt of command events and checked repository states. Later, AgentProof validates the receipt and compares its recorded final file commitments with the current repository. The child runs non-interactiv…

Publisher description

Artie helps data teams set up, inspect, and operate change-data-capture pipelines from databases and APIs into warehouses. Use it to list pipelines and connectors, inspect table metadata, configure replication, monitor lag, and manage supporting infrastructure like SSH tun…

Publisher description

Design, prototype, and ship browser games with guided 2D and 3D workflows, asset pipelines, and playtesting support.

Publisher full description

Plan, prototype, and build browser games with guided workflows for gameplay systems, UI, asset pipelines, and playtesting across 2D and 3D projects.

Publisher keywords · listing

terminal ssh iphone ipad developer-tools

Publisher description

Plan safer SSH and terminal work for Hey Terminal on iPhone and iPad.

Publisher full description

Prepare, review, and interpret SSH and terminal tasks for Hey Terminal on iPhone and iPad. The plugin keeps credentials on the user's device, requires deliberate approval for risky commands, and only claims execution when local iOS app control is genuinely available.

Publisher description

Keystone proactive multi-skill AI engineering workflows for planning, implementation, review, shipping, and maintenance.

Publisher full description

…, planning changes, implementing and refactoring safely, diagnosing failures, reviewing work, and shipping with evidence. Each skill keeps the current phase explicit, protects user-owned work, and requires proof before completion claims.

Publisher description

…source, and opens a live lab view embedded in ChatGPT where you can see GPIO, serial output, and peripherals respond in real time.

Publisher keywords · listing

lancedb vector-search full-text-search hybrid-search python typescript pipelines

Publisher description

Codex plugin for building multimodal data pipelines using LanceDB.

Publisher full description

Write, review, debug, and document LanceDB pipelines in Python and TypeScript that work across local LanceDB OSS tables and remote LanceDB Enterprise tables, with idiomatic query/search patterns and performance defaults for ingestion, indexing,…

Publisher description

microfn is a sandboxed cloud environment for building, deploying, and running tiny JavaScript functions - designed to be AI-friendly. Give ChatGPT its own workspace to write functions, deploy them, manage their code and secrets, and run the functions you've already built. With microfn, Cha…

Publisher keywords · listing

kubernetes yaml relationships review

Publisher description

Review declared Kubernetes Service, Deployment, and Ingress relationships with deterministic findings and explicit uncertainty.

Publisher full description

Runs Nexo YAML Iron against supplied Kubernetes YAML and presents established relationship findings and explicit unknowns. Detailed inspection is available when deeper evidence is needed. It does not contact or change a cluster.

Publisher description

SCVD x402 Verifier checks payment challenges without paying, verifies signed x402 offers and receipts, reads recorded endpoint readiness, explains defect classes, and checks SCVD artifact signatures. Results describe evidence and limits; they do not establish delivery or guarantee a provider. All…

Publisher description

Disciplined engineering workflows for alignment, specifications, architecture, testing, debugging, research, and delivery.

Publisher capabilities · listing

…s into safe, copy-ready Unix and shell commands Explain and debug Bash, zsh, POSIX shell commands, pipelines, quoting, and redirection Distinguish Linux, macOS/BSD, GNU, Bash, zsh, and POSIX command behavior Preview risky file, permission, process, package, and system changes before execution Write…

Publisher keywords · listing

unix linux macos bash zsh shell cli scripting

Publisher full description

Unix Copilot helps you write, understand, debug, and safely run shell commands and scripts across Linux and macOS. It can translate plain-language tasks into copy-ready commands, explain pipes and redirection, troubleshoot shell scripts, handle files and text safely, prepare CSV and de…

Publisher description

…uPilot/Betaflight logs and live robot data in plain language; author event-windowed data-reduction pipelines; export to Rerun, Lichtblick, PlotJuggler, and LeRobot.

Publisher full description

…ctual messages and the query is shown for audit. Bagel also has an intelligent edge data reduction pipeline: describe an event once, preview what would be kept, then run it on the robot. The plugin bundles the MCP connection (localhost:8000/sse; server runs in Docker, data never leaves the machine)…

Publisher keywords · listing

ffmpeg ffprobe media video audio streaming agent-skills typescript cli

Publisher description

Professional FFmpeg and FFprobe workflows with deterministic CLI, Skills, scripts, hardware acceleration, and declarative media pipelines.

Publisher full description

…be workflows for ChatGPT and Codex. Inspect media, edit video and audio, convert formats, compose clips and slideshows, diagnose and repair media, plan streaming workflows, and author reusable YAML pipelines. The included Skills prefer the typed @cecilialabs/ffmpeg toolkit when executable tooling is…

Publisher keywords · listing

code assistant coding programming debugging code generator code review sql python javascript interview prep

Publisher description

…actors and converts code between languages and frameworks, writes SQL, regex, shell commands and scripts, solves algorithm problems, prepares you for coding interviews, writes tests and docs, makes code faster and safer, helps with data science, Git, Docker and deployment, teaches programming, plans…

Publisher full description

…rogramming languages and frameworks. Build projects, solve algorithm problems, write SQL, regex, scripts, tests, documentation, and shell commands, and get help with Git, Docker, deployment, data science, performance, and security. You can also practice coding interviews, learn programming concepts,…

Publisher full description

…2D fallback remain available. Pin related reads to one snapshot, inspect rule-attributed relationship evidence, adapter coverage, and source spans, and export selected code references or RDF. The skill includes setup guidance for optional read-only local MCP from the complete GitHub package. Determ…

Publisher keywords · listing

html code generator html generator website builder landing page html css javascript tailwind responsive website web design image to html

Publisher description

…any idea, screenshot or design into complete, clean, responsive and accessible HTML, CSS and JavaScript: landing pages, full websites, portfolios, business sites, online store pages, blogs, HTML emails, forms, navigation, UI components, dashboards, tables, mini apps and games, plus Tailwind, Bootstr…

Publisher full description

Turn ideas, screenshots, and designs into clean, responsive HTML, CSS, and JavaScript. Build landing pages, websites, portfolios, business pages, store pages, blogs, emails, forms, navigation, dashboards, UI components, mini apps, and more. Get help with Tailwind, Bootstrap, animat…

Publisher full description

…nd account-based workflows; plan rotation and sticky sessions; troubleshoot SOCKS5, authentication, IP, DNS, and WebRTC issues; and find relevant ShardX tools and documentation.

Publisher full description

…rectness and security, plan focused tests, support safer migrations and upgrades, improve data and pipeline code, and help productionize ML and LLM integrations without inventing files, APIs, dependencies, or test results.

Publisher description

…abases, APIs and task boards), builds full-stack apps and SaaS, UIs, landing pages, mobile apps, scripts, bots and extensions, adds login, payments and AI features, writes prompts and rules files for Cursor, Claude Code, Copilot, Windsurf, Lovable, Bolt, v0 and Replit, fixes bugs, rescues broken pro…

Publisher full description

…n architecture, databases, APIs, and UIs, and build full-stack apps, SaaS products, mobile apps, scripts, bots, extensions, and landing pages. Get help adding authentication, payments, and AI features, writing prompts for coding tools, fixing bugs, reviewing and refactoring code, testing, security,…

Publisher description

…neering skills for AI coding agents covering the full software development lifecycle from spec to ship.

Publisher full description

Provides reusable engineering workflows for planning, coding, reviewing, testing, and shipping software with coding agents.

Publisher full description

…, reuses matching results, permits changed work through typed invalidation, and shows what may be skipped versus what still must run. Do not use rate-limit percentage as stop authority; it gates only the duplicate action and never stops the task, publishes, or changes permissions.

Publisher full description

…andbox tests, and assess go-live readiness. It supports One-time Payments, Tokenized Payment, Subscription Payment, Checkout Page, Payment Element, and API-only integrations. This plugin provides guidance and code assistance only; it does not execute payments or access merchant accounts.

Publisher description

Create standardized AWS CDK TypeScript projects from the Traceability starter template

Publisher full description

Create a standardized AWS CDK TypeScript project from Traceability v1.0.4, rename generated files, classes, and tests, install dependencies, and verify the build. Optional guidance explains the GitHub OIDC role required only for automati…

Publisher full description

…al assets, verify them with the Browser plugin and built-in app browser, compose shadcn/ui, wire Stripe payments, and design or tune Supabase/Postgres data flows.