Agent Plugins Marketplace
← All plugins

diffwitness

v0.4.0-alpha.1

Independent causal verification for code produced by Codex and other coding agents.

CodexClaude Code1 Skill

By Thomas FournierLicense: MIT0 GitHub starsUpdated last week

Directory evidence

Runtimes
Codex and Claude Code
Parsed components
1 skill or MCP entry
Source updated
Sep 11, 2026
Manifest status
Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install diffwitness for Codex and Claude Code

Installs for the current user
codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add diffwitness@agent-plugin-marketplace

Paste and run these commands in a terminal with Codex. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually
git clone https://github.com/TFourniax/tooltest

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The repository root is the plugin root.

Plugin files

diffwitness/
├── .codex-plugin/plugin.json
├── .claude-plugin/plugin.json
└── skills/diffwitness/SKILL.md

Included Skills1

diffwitnessskills/diffwitness/SKILL.md

Require causal evidence for code changes made by coding agents. Use when implementing, fixing, refactoring, or reviewing code so a green test result is not treated as proof by itself.

Plugin manifests2

.codex-plugin/plugin.json
{
  "name": "diffwitness",
  "version": "0.4.0-alpha.1",
  "description": "Independent causal verification for code produced by Codex and other coding agents.",
  "skills": "./skills/",
  "hooks": "./hooks/codex-hooks.json"
}
.claude-plugin/plugin.json
{
  "name": "diffwitness",
  "version": "0.4.0-alpha.1",
  "description": "Proof-carrying code changes: automatically validate the real patch before an agent declares work complete.",
  "author": {
    "name": "Thomas Fournier"
  },
  "homepage": "https://github.com/TFourniax/tooltest",
  "repository": "https://github.com/TFourniax/tooltest",
  "license": "MIT",
  "keywords": [
    "testing",
    "verification",
    "coding-agents",
    "proof",
    "git"
  ],
  "skills": "./skills/",
  "hooks": "./hooks/claude-hooks.json"
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[diffwitness on Agent Plugins Marketplace](https://pluginsmp.com/plugins/diffwitness)