完整作品展
技术栈
31 projects
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Proof there's a real person behind an account or action.
@getanchorid · X
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
用您的数据微调语言模型并管理自定义事实，获得密码学删除证明。
@MBrew26730 · X
Dataset cleaning + fine tuning + continual learning at
MailValid 邮箱验证 API，支持实时检查和多层验证，100 次免费。
@sachinbapure · X
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
@konig0000 My whole architecture is vibe coded. https://t.co/t2PKhujHIT
@HathornWarren52 · X
My whole architecture is vibe coded.
Veridome Surface：扫描AI应用部署的安全问题并生成修复。
maor_dayan_ · Product Hunt
Veridome Surface The security layer for apps you built with AI
验证AI代理的决策，然后尝试篡改验证记录。
foh_quarters · HN
Verify what an AI agent did, then tamper with the record (no signup)
