
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
19 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning


Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents

向多个AI模型提问,观看它们辩论获得答案。
@ZUKOWEB3166 · X
Vibe coding is more interesting when you use Truth AI


为AI代理提供持久记忆和知识,支持文件、URL和MCP工具原生集成。
kitforai · GitHub
kitforai Kit for AI developer hub — official SDK, Claude Code plugin, MCP setup, and llms.txt.

浏览器中的开发环境,集成shell、git和本地AI。
Dhravya · GitHub
burrow a whole dev machine in a browser tab - bun.wasm, shell, git, and local AI. phones home to nobody.

提出是否问题,获得AI塔罗牌占卜指导。
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见,快速获得"是"与"否"解答

构建具有语义、情节和程序性记忆管理功能的生产级AI代理。
@AiShivam · X
AgentStacKPro is an OS for AI agents designed to make them production-ready, and it holds incredible potential. You can also check out the project I currently developed

查看 BTC/ETH/SOL/BNB 的技术指标和 AI 生成的交易信号。
@jielove233 · X
最近看到 @dappOS_com 一个作品挺有意思 一个主流币交易共振信号Agent,通过 dappOS Coding 快速完成 链接: 这个案例的价值,不在于又做了一个行情页面,而是在于它展示了一种新的 AI Agent 构建方式 过去开发一个交易辅助工具,需要先处理数据接口,再搭建前端交互,编写指标逻辑,最后不断测试优化。 对于很多有交易想法的人来说,真正困难的不是没有策略,而是从想法到产品之间隔着一整套开发流程 dappOS Coding 改变的,就是这个过程 通过自然语言描述需求,就可以快速生成对应功能模块 像这个交易共振信号案例,本质上就是把市场数据、技术指标和信号逻辑结合起来,形成一个面向交易场景的辅助工具 它并不是替用户直接交易,也不是承诺预测市场 更重要的价值在于 帮助交易者降低信息处理成本 在 Crypto 市场里,行情 24 小时运行,大量数据、新闻、价格变化不断涌入 普通用户很难持续人工筛选有效信息 AI Agent 可以承担其中一部分重复工作: 监控市场变化 整理关键数据 输出信号参考 辅助交易决策 这也是为什么最近 AI + Crypto 的结合越来越受到关注 OKX 推出 AI 与交易生态结合 @BNBCHAIN 也在推动更多项目加入 BNB Agent Studio,鼓励开发者围绕交易、情感陪伴等方向构建 AI Agent 整个行业正在从AI 能聊天进入AI 能完成任务的阶段 而 dappOS Coding 展现出来的方向,是降低 Agent 创建门槛 以前一个想法可能停留在笔记里,需要开发团队才能实现 现在,更多开发者、交易者甚至普通用户,都有机会快速验证自己的想法 未来 Crypto 的竞争,不只是资产和协议之间的竞争,也会是 AI Agent 生态和应用数量的竞争 谁能让更多人低成本创造工具,谁就更有机会成为下一阶段基础设施的一部分 这个交易信号案例只是一个开始 AI Agent 正在逐渐成为连接用户、数据和链上应用的新入口

QWQ AI 是免费问答助手,提供详细推理答案,无需登录。
QWQ AI Assistant — 免费提供经过深思熟虑且富有详细推理的答案的 AI 助手,不需要登录