Agent Plugins Marketplace
← All plugins

proof

v0.1.0

Self-gating Biome, Fallow, and TypeScript quality hooks that fire only in repositories carrying the tool locally.

CodexClaude Code

By Nathan Vale0 GitHub starsUpdated 2 hours ago

Directory evidence

Runtimes
Codex and Claude Code
Parsed components
0 skill or MCP entries
Source updated
Sep 30, 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 proof 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 proof@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/nathanvale/dotfiles-private

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

Plugin files

config/agents/plugins/proof/
├── .codex-plugin/plugin.json
└── .claude-plugin/plugin.json

Plugin manifests2

config/agents/plugins/proof/.codex-plugin/plugin.json
{
  "name": "proof",
  "version": "0.1.0",
  "description": "Self-gating Biome, Fallow, and TypeScript quality hooks that fire only in repositories carrying the tool locally.",
  "author": {
    "name": "Nathan Vale"
  },
  "hooks": "./hooks/codex/hooks.json",
  "interface": {
    "displayName": "Proof",
    "shortDescription": "Self-gating Biome, Fallow, and TypeScript quality hooks",
    "longDescription": "Dependency-free quality hooks that lint, audit, and typecheck changed files only in repositories that already carry Biome, Fallow, or TypeScript locally.",
    "developerName": "Nathan Vale",
    "category": "Developer Tools",
    "capabilities": [
      "Read"
    ],
    "defaultPrompt": "Report what the proof plugin's quality hooks blocked or passed on the current change."
  }
}
config/agents/plugins/proof/.claude-plugin/plugin.json
{
  "name": "proof",
  "version": "0.1.0",
  "description": "Self-gating Biome, Fallow, and TypeScript quality hooks that fire only in repositories carrying the tool locally.",
  "author": {
    "name": "Nathan Vale"
  },
  "hooks": "./hooks/claude/hooks.json",
  "keywords": [
    "hooks",
    "biome",
    "fallow",
    "typescript",
    "quality-gate"
  ]
}

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.

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