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

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

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

AI接口的动画思考球组件,具有六种状态和自动主题。
@MengTo · X
These will instantly make your vibe-coded projects look less generic. Free, open-source libraries from the same creator: • • •


使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong

在浏览器中使用免费加权决策矩阵做出复杂决策。
@bjoern_live · X
Make complex decisions easy.

构建具有语义、情节和程序性记忆管理功能的生产级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

探索AI驱动的书籍解读与知识分享内容,涵盖商业、心理学等多个领域。
晨笙阅读 — 书籍解读平台,AI 辅助+人工校审,提炼经典书籍的核心问题、论证框架与实践洞见,支持分类浏览、全文搜索和主题阅读

投掷易经卦象,查看紫微斗数命盘以获得决策指导。
u/muyenlee · Reddit
I built iYarrow — I Ching casting + Zi Wei Dou Shu natal charts, on an open-source divination engine Two divination tools in one app: I Ching — cast a hexagram for the actual decision in front of you. Free, no account needed. Zi Wei Dou Shu (紫微斗數) — a natal chart that gives the longer-range picture your hexagram sits inside. Free full chart, all 12 palaces computed instantly, tap any palace to read it. One $5.99 unlock covers an in-depth reading + the annual (流年) report. Stack: Next.js

使用开源浏览器工具分析象棋游戏,获得自然语言解释,无需登录。
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

Reserve Table——餐厅预订系统,客人缺席收费,可减少放号率达80%。
@ReserveT37916 · X

用 AI 技术结合传统智慧为您解读梦境。
台灣解夢 — 融合 AI 技术与传统解梦学说,为用户提供免费梦境解析服务,无需注册即可一直免费使用 - [更多介绍](https://twjiemeng.com/about)