完整作品展
技术栈
60 projects
VeroLente AI用AI技术即时验证新闻、视频、图像和声明，获取真实度分数。
@Banshee_1212 · X
building a deepfake detection platform,
与AI对话，查看置信度评分和完整推理过程
u/RayanBuilds · Reddit
I’m 18 and built an AI chat app solo. Tear it apart (brutal feedback welcome) Built this solo this year at 18. It’s called Veris, an AI chat + writing assistant. I know, “another chatbot” 😭. So I gave it stuff the big ones don’t. Favorite feature: upload an image and pick a mode: Normal (it analyzes it) or Debate (it actually argues with you about it). Not selling anything. I just want to know: what would an AI have to do for you to use it daily? submitted by
哈希链账本，验证AI模型推理过程，记录属于你。
dj_johnsonMid · HN
A hash-chained ledger for AI reasoning you can verify yourself
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
schildep · GitHub
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
输入公司网址分析 WHOIS、SSL 等信号来生成信任评分。
@CoderJiii · X
🚀 Just launched Veris — a platform that helps verify company legitimacy using WHOIS, SSL, website, contact, social, and legal checks to generate a Trust Score & Risk Level. 🌐 #BuildInPublic #OpenSource #FullStack #React #NodeJS
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Logiciel de comptabilité conçu autour d’un agent, pas autour de formulaires : tous les cas sont gérés, même atypiques. TVA, Urssaf et clôture préparées et expliquées, vous validez.
@MaPtitePaperass · X
Agentic-first solution for French accounting.
Proof there's a real person behind an account or action.
@getanchorid · X
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
