Crovia — verifiable silence (TACET) and Crovia Seal
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
Listing info 80/100
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
Listing info 80/100
Free proof-of-existence attestation for digital files, MCP tools for the imgauth service.
Listing info 75/100
Zero-install remote MCP server for proof-of-existence file attestation.
Listing info 65/100
Add a cookie consent banner that blocks trackers before consent and records proof of consent.
Listing info 75/100
Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.
Listing info 65/100
Verifiable Earth ground truth for AI agents: water, hazard, ground stability, resource, with proof.
Listing info 75/100
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Listing info 75/100
Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.
Listing info 65/100
Self-routing market intel for agents: A-F trade checks, one-call briefs, real liq maps, proof board.
Listing info 75/100
Experimental reverse CAPTCHA with signed badges and credentials. Not proof of identity or substrate.
Listing info 75/100
Cryptographic audit trail for Claude Code workflows — tamper-proof timestamps, IETF TTTPS compliant.
Listing info 75/100
Inspectable public airtime for agents routing demo media, launch videos, and proof assets.
Listing info 65/100
Indexed listings, not certifications. Prices and protocols are publisher declarations. How the index works