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

1. 1Aristotle MCP Serverfound in code, not yet checkedno passport yet

   MCP serverseptract/lean-aristotle-mcp

   • check_prove_file

     Poll for the status of a previously submitted file proof.

2. 2DoneProof MCPfound in code, not yet checkedno passport yet
   • build_proof_report

     Write a Markdown proof report containing the matrix and hash-linked evidence ledger.

3. 3Prover MCP Serverfound in code, not yet checkedno passport yet
   • download_proof

     Download the proof file for a completed job.

4. 4io.github.ToremLabs/prooffound in code, not yet checkedno passport yet
   • record_proof

     Record a concept's proof and promote it to validated. Snapshots the proof gate (support, criteria met, objections addressed) into a durable proof record. Refuses when the gate isn't clear and returns the blockers; pass force:true to record anyway. The signer is the authenticated user.

5. 5xxxstarfound in code, not yet checkedno passport yet

   MCP servercyptopimpinainteazy/xxxstar

   • x3_verify_proof

     Verify that exact persisted proof evidence exists for an intent.

6. 6xProoffound in code, not yet checkedno passport yet
   • verify_proof

     Verify an existing xproof certification. Returns proof details including file hash, timestamp, blockchain transaction, and verification status.

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

   MCP servercharlesmsiegel/hardy

   • lean_check_proof

     Check one proof body against the exact Frozen Claim.

8. 8math-rigorfound in code, not yet checkedno passport yet
   • proof_workflow

   • proof_start

9. 9bykaranteli-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