Games & Play1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
16 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Animated thinking orbs component for AI interfaces with six states and automatic theming.
@MengTo · X
These will instantly make your vibe-coded projects look less generic. Free, open-source libraries from the same creator: • • •
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
Make complex decisions with a free weighted decision matrix in your browser.
@bjoern_live · X
Make complex decisions easy.
Build production AI agents with semantic, episodic, and procedural memory management.
@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
Explore AI-generated book interpretations and curated knowledge across business, psychology, investment, and health.
晨笙阅读 — 书籍解读平台，AI 辅助+人工校审，提炼经典书籍的核心问题、论证框架与实践洞见，支持分类浏览、全文搜索和主题阅读
Cast I Ching hexagrams and view Zi Wei Dou Shu natal charts for decision guidance.
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
Analyze chess games with natural language explanations using an open-source browser tool with no login required.
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
Restaurant reservation tool that charges guests who don't show, reducing no-shows by up to 80%.
@ReserveT37916 · X
Interpret your dreams using AI technology combined with traditional dream wisdom.
台灣解夢 — 融合 AI 技术与传统解梦学说，为用户提供免费梦境解析服务，无需注册即可一直免费使用 - [更多介绍](https://twjiemeng.com/about)