SnapProve

What it does

We built legally admissible proof for everyday transactions. When you lend money or make a deal, SnapProve creates timestamped, blockchain-verified evidence with KYC-linked identities. Unlike screenshots (easily faked) or verbal agreements (unenforceable), we integrate government KYC with Polygon blockchain. Courts accept it as evidence. Built after 200+ user interviews. Validated by Spark Tank (Top 0.1% nationally). Starting in Pakistan. First mover in legal-tech for informal economies.

• BT
  btproof - trusted timestamping on the Bitcoin blockchain2013 · btproof.com · ▲75
• 
  Proof Of Time Travel2018 · ▲87

  Using blockchain to prove time travel

• 
  TimeProofJan 2026 · ▲5

  Prove it existed. Permanently.

• 
  Proof CraterJan 2026 · ▲5

  ZK-powered vault for anonymous payouts and state snapshots.

• 
  VerifiLiteMay 2026 · verifilite.com · ▲3

  KYC for developers, not only enterprises. Free, forever.

• 
  ProofChain AIApr 2026 · ciprian-localpulse.github.io · ▲3

  Prove and verify AI-generated assets instantly

• 
  PaymentKit▲466

  Billing that survives a processor shutdown

  Commerce · 13d ago · paymentkit.com

• 
  Equitybee Benchmark▲241

  Compare your startup equity grant for free.

  Commerce · 26d ago · equitybee.com

• 
  Brew ▲905

  Like Claude design for email marketing

  AI · May 2026 · brew.new

• 
  Kilo Code for VS Code▲897

  Parallel agents, diff reviewer, and multi-model comparisons

  Dev tools · May 2026 · kilo.ai

• 
  StoreClaw▲805

  Grow your store profits with agents that know how to sell

  AI · May 2026 · storeclaw.ai

• 
  PollyReach▲796

  Give your agent a real number and voice to make calls.

  AI · May 2026 · pollyreach.ai

• NW
  Needle: We Distilled Gemini Tool Calling into a 26M Model▲776

  Hey HN, Henry here from Cactus. We open-sourced Needle, a 26M parameter function-calling (tool use) model. It runs at 6000 tok/s prefill and 1200 tok/s decode on consumer devices. We were always frustrated by the little effort made towards building agentic models that run on budget phones, so we conducted investigations that led to an observation: agentic experiences are built upon tool calling, and massive models are overkill for it. Tool calling is fundamentally retrieval-and-assembly (match query to tool name, extract argument values, emit JSON), not reasoning. Cross-attention…

  Life & fun · May 2026 · github.com

• FM
  Files.md – Open-source alternative to Obsidian▲730

  Dev tools · May 2026 · github.com