formal verification plugins

emiliaprotocol/emilia-protocol

Plugin Claude Code

Plugin marketplace listing 1 plugin: emilia-guard.

emiliaprotocol/emilia-protocol

Plugin Claude Code

Require a named human's signed approval before Claude does anything irreversible — money movement, destructive shell, external sends. High-risk tool calls are held until a person approves on their own device (Face ID / passkey), producing an offline-verifiable Trust Receipt. Fail-closed.

younes-io/agent-skills

Plugin Claude Code

Plugin marketplace listing 1 plugin: tla-workbenches.

younes-io/agent-skills

Plugin Claude Code

TLA+ skills for checking specs and writing proofs.

ibrahimmian36/leanscreen

Plugin Claude Code

Millennium Research tooling for formal mathematics.

ibrahimmian36/leanscreen

Plugin Claude Code

Faithfulness screening for Lean 4 statements while you draft them. Screens only, never certifies.

vince-gonzalez/gonzalgo

Plugin Claude Code

Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.