游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
61 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
问一个是/否问题，获得AI塔罗牌解读。
Yes/No 塔罗 AI — 融合 AI 技术与塔罗洞见，快速获得"是"与"否"解答
在请AI修改代码前,先理解代码流程和应用连接。
@minmuner_devlog · X
Thanks for the feedback; I’m open to anything.
AI驱动的搜索和聊天助手，快速获取答案。
@basak_b81016 · X
Just shipped my Perplexity AI Clone! From an idea to a working AI application. This project helped me learn AI integration, backend architecture, and building better user experiences. 🌐 Live: More projects coming soon. 👨💻 #BuildInPublic #AI #MERN
上传代码让 VibeGuard AI 自动检测安全风险。
@POONAMSING9999 · X
Forget this fight. The problem in AI is vibe coding security risk so i made vibe Guard ai that analysis user code and found out security risks. For the sake of humanity, to solve a painful problem I made this It had free version try now
Mentora 根据你的回答进行适配，帮助你了解需要复习、修复或继续推进的内容。
@bellyencours · X
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Marcus AI: Habit Tracker 功能 哲学家 价格 加入候选名单 即将在 iOS 和 Android 上推出 能倾听回应的习惯追踪器。追踪你的日常习惯。当你摔倒时
@yair_dev · X
Released today: speak with ancient philosophers to discuss your habits, speak about general philosophy, and directly manage your habits and check-ins through the chat.
