Games & Play3 weeks ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
28 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Verify an AI agent's decisions and test tampering with the verification records.
foh_quarters · HN
Verify what an AI agent did, then tamper with the record (no signup)
Free website security scanner checking SSL, headers, and compliance for instant trust scores and AI-guided fixes.
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.
Email verification API with real-time validation via syntax, domain, MX, and SMTP checks.
@sachinbapure · X
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Check AI agent outputs and actions against your policies before execution; get allow, block, rewrite, or escalate decisions.
u/danielbaker06072001 · Reddit
Most AI agent SaaS is just bad security with a nice dashboard Give a new employee access to Stripe, GitHub, Slack, and your CRM on day one, and you’d call it reckless. Give the same access to an AI agent, and we call it “autonomous.” That isn’t innovation. It’s skipping basic security because the demo looks cool. Full disclosure: I’m building TrustLoopGuard around this problem, so I’m obviously biased. While testing one MCP connection, I realized I had decided what the agent could a
Verify email addresses and check domain health to improve campaign deliverability.
@mailthentic · X
Backtest crypto trading strategies by describing them in plain English.
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange
Create immutable, SHA-256 certified records of your documents.
@BogachyovvA · X
A web app for protecting your documents, files, etc. using hashing. I am also looking for CEOs of companies for cooperation.
Free API relay service providing access to Claude and Grok models without registration.
@Mysterious9527 · X
自掏腰包开了10个SuperGrok Heavy 号 做了一个号池 随便瞪 网站还有5.2 还有生图
Trace, replay, and verify AI agent decisions with signed audit trails for debugging.
u/Funky_Chicken_22 · Reddit
OSS to SaaS positioning problem: when the user persona and the buyer persona are completely disjoint Founder here. Sharing a positioning problem I think a lot of OSS-to-SaaS founders hit and don't talk about publicly. Context: I have been running an OSS project (world-model-mcp) with ~2,500 monthly PyPI installs. Two weeks ago I opened up the hosted companion, Etch, at etch.systems. Launched publicly on Product Hunt at 12:00 PDT yesterday. The positioning problem: OSS user persona: in
Paste a contract address to detect Ethereum rug pulls and scams instantly.
@mik3fly__ · X
Here is mine: Check for scam before being scammed!