Games & Play1 week 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
60 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Scan smart contracts for vulnerabilities and get gas optimization suggestions.
@Ninjafromqueens · X
Hello! I am the founder and owner of Audit your smart contracts before deploying.
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Mask API keys, passwords, and tokens locally before sending to AI chat tools.
@souvik_ghosh975 · X
A small Chrome extension with one job: stop accidental secret leaks into AI chats. That's Secret Sanitizer 🥷.
Check what network and browser signals you expose before using AI services.
@FunnyDiscovery · X
做了一个纯前端小工具：AI Signal Guard 用来在使用 Claude / ChatGPT / Gemini 前，自查浏览器侧能暴露哪些信号： - 出口 IP / ASN / 组织 - DNS 泄漏 - WebRTC 泄漏 - 语言、时区、字体、Emoji 纯静态页面，无自建后端 在线体验： GitHub仓库：
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
Simple AI chat for OpenRouter models with no login, no tracking, self-hostable.
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
Store and sync files with end-to-end encryption that keeps them hidden from the server.
@vaultdesk · X
Press a mysterious button and discover what happens.
@saralsachan · X
Waste you time on weird websites
Shared memory platform that organizes team context into a knowledge graph for AI agents and tools.
ximihoque · HN
Collaborative context-sharing memory platform for agents and teams
An AI-powered platform for solving and collaborating on math problems in a social context.
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.
Watch and steer autonomous coding agents in cloud devboxes with Claude Code, Codex, or OpenCode.
pranav100000 · HN
Aether – Run Claude Code, Codex, or OpenCode in devboxes you can watch