The full gallery
Tech stack
18 projects
Verify mathematical expressions reliably using five independent numeric engines via REST API and MCP.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Fine-tune LLMs with your data and manage custom facts with cryptographic deletion proofs.
@MBrew26730 · X
Dataset cleaning + fine tuning + continual learning at
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
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
AI-powered betting analysis and simulation tool for Swedish lottery games with odds analysis and system reduction.
@MarcusNilsson83 · X
Check out what I just built with Lovable!
Complete quests to test Unicity Protocol infrastructure and earn XP.
@77auv7 · X
智能体最缺的不是算力，是底层安全。 @unicity_labs 社区版上线了，专为 AI Agent 打造的模块化 OS，走 Rust 微内核控制权限和成本，不用担心 Agent 乱跑。 尝鲜入口👇 #SphereQuests
Records and cryptographically seals data to a public ledger with an exact timestamp.
@MasterMyBudget · X
Hey, check out something i have been vibe coding since Friday last... tell me what you think... is interesting read my friend
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
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.
Email verification API with real-time validation via syntax, domain, MX, and SMTP checks.
@sachinbapure · X
