游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Solidity智能合约AI安全扫描工具，检测漏洞和优化建议。
@Ninjafromqueens · X
Hello! I am the founder and owner of Audit your smart contracts before deploying.
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Secret Sanitizer 在本地屏蔽机密和 API 密钥，防止发送给 AI 工具时泄露。
@souvik_ghosh975 · X
A small Chrome extension with one job: stop accidental secret leaks into AI chats. That's Secret Sanitizer 🥷.
检查使用 AI 服务前浏览器暴露的网络和身份信号。
@FunnyDiscovery · X
做了一个纯前端小工具：AI Signal Guard 用来在使用 Claude / ChatGPT / Gemini 前，自查浏览器侧能暴露哪些信号： - 出口 IP / ASN / 组织 - DNS 泄漏 - WebRTC 泄漏 - 语言、时区、字体、Emoji 纯静态页面，无自建后端 在线体验： GitHub仓库：
用 OpenRouter 进行私密 AI 聊天，无账户无跟踪，支持自托管。
johnfahey · HN
As someone who doesn't use any of the more "advanced" features on sites like ChatGPT or Claude (agentic mode, memory, image generation, deep research, etc), I found the bloat of these services, both in UX and in performance, to be pretty tedious. There are a million AI chat interfaces out there, but I could never find one that just did simple messaging and history in the most minimal and lightweight way possible. So I made my own. Nully is written in Go and Vanilla HTML/CSS/JS. It literally just sends messages to OpenRouter, receives the result, and stores your messages locally. It's very simple, very clean, and very lightweight (see performance graphs on the site). It has basic chat features, basic model settings, and works with just about any OpenRouter text model. It supports attachments and basic web search via the OpenRouter API. I made Nully mostly for myself, but the cost to open-source it and host it on a cheap VPS is practically nothing, so I figured I'd release it if it c
用端到端加密存储和同步文件，对服务器完全隐藏。
@vaultdesk · X
按下 Nothing Button，看看会发生什么。
@saralsachan · X
Waste you time on weird websites
为AI团队提供的协作内存平台，将团队背景信息组织成知识图。
ximihoque · HN
Collaborative context-sharing memory platform for agents and teams
社交化AI数学平台，用于解决和协作数学问题。
lemma1729 · HN
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
在云开发盒中观看和操控自主编码代理，使用 Claude Code、Codex 或 OpenCode。
pranav100000 · HN
Aether – Run Claude Code, Codex, or OpenCode in devboxes you can watch
