MikeGibbsOnyx

GitHub profile1 plugin in the catalog

Plugins by MikeGibbsOnyx

1 plugins by MikeGibbsOnyx in the catalog, most-starred first.

MikeGibbsOnyxprove-itChecks an agent's completion claims against local read-only probes before you read the reply: HEAD vs the remote-tracking ref for a push, git cat-file for a commit, a file stat for a write, observable output for tests pass. No model in the check. The footer says ✓ verified, ✗ contradicted, ⚠ could not verify, or ⏸ blocked on an approval; /proveit explain shows the claim, the probe and the raw output. Disclosure — runs local read-only git commands (rev-parse, merge-base, log, cat-file) in the repository the agent worked in this turn, with fsmonitor and ext protocols disabled and no stdin; never contacts a remote or authenticates; stats absolute file paths named in the agent's reply; makes no probe when the terminal backend is not local; stores a bounded ledger (arguments and output only for terminal, file-write, code-execution and delegation calls, truncated, secrets pattern-redacted, deleted after 7 days) plus checked claims and approval pattern/description (never command text) in plugin-data/prove-it/data.db; every probe has a 2 s timeout and the footer a 4 s budget; a plugin error never withholds the reply in footer mode; no telemetryCommunitytools