MARKET RESEARCH

Developer Tools Codex plugins

Codex Plugin Stats: discover plugins, explore their skills and track catalog growth and observed changes.

Explore 5,334 plugins across 14 categories.

Developer Tools plugins 11

1–11 of 11

All query words must match. Use quotes for an exact phrase. Matches include publisher text, keywords and attributed research.

Discover Codex plugins by task and category
Plugin / developer	Category	Follow
AgentProofMiguel Herrero BurgosKeep a local hash-only receipt of a new instrumented Codex session and verify it later. Plugin name AgentProof Show in context → 2 more matching sources Package name agentproof Show in context → Publisher full description …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-interactively with Codex approvals disabled and retains the selected read-o… Show in context →	Developer ToolsVersion 0.1.0	View details →
Completion ReceiptOrbralRecord approved commands, selected file hashes, and Git state in local receipts you can verify later. Package name agent-shipproof Show in context → 1 more matching sources Publisher keywords · listing agent-verification completion-receipts test-evidence build-proof git-drift coding-agents ci codex Show in context →	Developer ToolsVersion 0.1.5	View details →
ECZ-ID MCP VerifierEcoCitizenz LtdCheck the public ECZ-ID Resolver posture of an MCP server, agent, API or business from any MCP-capable agent host. Local-first, read-only... Publisher subtitle ECZ-ID public proof checks Show in context → 1 more matching sources Publisher full description Check whether an MCP server, agent, API, package, domain or business has public ECZ-ID Resolver proof, and read the ResultState and ReasonCodes without turning them into a score. The three read-only ECZ-ID Verifier tools are used when the host has the Verifier MCP server configured; otherwise th… Show in context →	Developer ToolsVersion 0.1.1	View details →
OpsTruthAYOBAMI JOHN HAASTRUPBind repository, CI, runtime and receipt evidence into signed graphs without changing target systems. Publisher subtitle Verify coding work with proof Show in context →	Developer ToolsVersion 0.4.1	View details →
Poka-YokerainmanjamMistake-proof your code, your pipeline, and your agents. Audits code for mistakes that are possible, designs APIs where misuse cannot be ... Publisher keywords · listing code-review defensive design defensive-design error proof error-prevention fail safe foolproof footgun guardrails hardening idiot proof invalid states unrepresentable lean mistake proof mistake-proofing poka-yoke poke yoke poke-yoke reliability shigeo… Show in context → 1 more matching sources Publisher description Mistake-proof your code, your pipeline, and your agents. Audits code for mistakes that are possible, designs APIs where misuse cannot be expressed, installs guardrails, and turns incidents into devices that p… Show in context →	Developer ToolsVersion 0.2.0	View details →
ECZ-ID Agent TrustEcoCitizenz Ltd Publisher description …can reach: agent manifests, instructions, declared tools, MCP servers, permission policy and public proof references. Inspection only. Free. Show in context → 1 more matching sources Publisher full description …manifests, instructions, declared tools, reachable MCP servers, permission policy and ECZ-ID public proof references. Inspection only. It helps identify declared reach, authority-related evidence and review gaps without turning the result into a trust or safety score. Show in context →	Developer ToolsVersion 0.1.1	View details →
ECZ-ID API TrustEcoCitizenz Ltd Publisher description See which API surfaces a workspace exposes, how they are secured and whether they carry public proof: OpenAPI / GraphQL / AsyncAPI contracts, catalogues, auth configuration, disclosure contacts and contract tests. Inspection only. Free. Show in context → 1 more matching sources Publisher full description …ion and authorisation configuration, security disclosure contacts, contract tests and ECZ-ID public proof references. Inspection only, filename and path only. It does not test an endpoint or read a secret. Show in context →	Developer ToolsVersion 0.1.1	View details →
ECZ-ID MCP TrustEcoCitizenz Ltd Publisher description …how they launch, which environment key names look credential-shaped, and whether any ECZ-ID public proof reference exists. Inspection only: OBSERVED, never ENFORCED. Free. Show in context → 1 more matching sources Publisher full description …key names look credential-shaped, local policy or allowlist evidence, and whether an ECZ-ID public proof reference exists. Inspection only. OBSERVED does not mean ENFORCED. Show in context →	Developer ToolsVersion 0.1.1	View details →
EvalDossierMiguel Herrero Publisher full description …ns, then reports the result’s declared evidentiary basis without turning model judgment into formal proof. It does not determine whether work was done well, establish truth or authority, or authorize payment. It requires no network access, accounts, credentials, external evaluators, or payment or se… Show in context →	Developer ToolsVersion 0.2.1	View details →
Keystonestatic-var Publisher full description …with evidence. Each skill keeps the current phase explicit, protects user-owned work, and requires proof before completion claims. Show in context →	Developer ToolsVersion 2.0.4	View details →
Plugin AutopilotMamdouh Aboammar Publisher full description …ates the package, builds deterministic ZIPs, and prepares reviewer evidence without confusing local proof with public approval. Show in context →	Developer ToolsVersion 0.7.0	View details →