agent verification plugins

reticlehq/reticle

Plugin Claude Code

Reticle: the proof layer for AI coding agents.

reticlehq/reticle

Plugin Claude Code

Verify a running web app from the inside. Installs the Reticle skill and registers the Reticle MCP server so the agent can look, act, observe and assert against the real app.

Jujitae/invara

Plugin Claude Code

INVARA - independent verification for AI-built software.

Jujitae/invara

Plugin Claude Code

Independent verification that a change kept the constraints it declared. Seal a contract before the work: the paths that must not change, and the commands that must pass. Afterwards INVARA judges from file digests and exit codes and returns BLOCK, UNVERIFIABLE, HUMANREVIEW or PASS, naming which rule decided. UNVERIFIA.