10 actions in 9 pieces of software · ranked by words, meaning and measured trust · 637 ms

1. 1bykaranteli-mcpverified and signedpassport
   • get_data_proof

     Call this when the user asks whether ByKaranteli data can be verified or was changed afterwards, about the BYK Data Layer, on-chain proofs of market data, or wants the proof behind one sealed number. Every 5 minutes a catalog of derived feeds (funding composite, aggregate open interest, liquidations

2. 2z3-solververified and signedpassport

   libraryZ3Prover/z3record5,432,750 downloads/month

   • prover

   • theorem

3. 3AEO Toolverified and signedpassport

   MCP serverrecord

   • aeo_proof

     La PREUVE : compare les 2 derniers audits complétés d’un domaine — delta de score, critères améliorés, critères régressés. L’argument client en un appel. Gratuit.

4. 4webcite-mcp-serververified and signedpassport

   MCP servergit+https://github.com/strategyconnect/webcite-mcp-servernpmrecord10,876 downloads/month

   • proofs_applies

     Probe whether a proof receipt still binds under the current premise hash and approved toolchains (P3). Does not invent proved status. Credits: 1. HTTP: GET /api/v2/context/proofs/applies

5. 5ce-proofverified and signedpassport

   skilleveryinc/compound-engineering-pluginrecord

   • ce-proof

     Publish, read, comment on, or edit markdown in Proof. Use for Proof links, sharing specs/plans/drafts, or publish handoffs from planning workflows; avoid proofread, math, evidence, or proof-of-concept meanings.

6. 6math-rigorfound in code, not yet checkedno passport yet
   • proof_add_assumption

7. 7leanprobefound in code, not yet checkedno passport yet

   MCP serverepfl-lara/leanprobe

   • lean_proof_state

     Open interactive proof states from code containing `sorry`.

8. 8lean-proof-auto-mcpfound in code, not yet checkedno passport yet

   MCP serverpadieul/lean-proof-auto-mcp

   • try_automated_proof

     Validate a proof attempt with detailed feedback.

9. 9hardyfound in code, not yet checkedno passport yet

   MCP servercharlesmsiegel/hardy

   • lean_check_proof

     Check one proof body against the exact Frozen Claim.