开发者工具4 weeks ago
Ultimath — stop hallucinating numbers | math API + MCP
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
Open source
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
完整作品展
技术栈
17 projects
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
用您的数据微调语言模型并管理自定义事实，获得密码学删除证明。
@MBrew26730 · X
Dataset cleaning + fine tuning + continual learning at
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
用英文描述加密交易策略来回测它们。
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange
Betii - 瑞典彩票AI分析和模拟工具，支持赔率分析和系统优化。
@MarcusNilsson83 · X
Check out what I just built with Lovable!
通过完成任务测试 Unicity Protocol，赚取 XP 奖励。
@77auv7 · X
智能体最缺的不是算力，是底层安全。 @unicity_labs 社区版上线了，专为 AI Agent 打造的模块化 OS，走 Rust 微内核控制权限和成本，不用担心 Agent 乱跑。 尝鲜入口👇 #SphereQuests
VerApex将数据加密封装到公共账本，记录精确的时间戳。
@MasterMyBudget · X
Hey, check out something i have been vibe coding since Friday last... tell me what you think... is interesting read my friend
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
创建您文档的不可变、SHA-256认证的记录。
@BogachyovvA · X
A web app for protecting your documents, files, etc. using hashing. I am also looking for CEOs of companies for cooperation.
MailValid 邮箱验证 API，支持实时检查和多层验证，100 次免费。
@sachinbapure · X