Show HN
getspur /
spur
Spur solver – Z3-backed model-finder solved values for coding agent
好代码，值得被发现。
下一个
宝藏项目.
开源项目、精巧工具，还有让人眼前一亮的点子。
从 Hacker News 社区讨论中，找到你的下一份灵感。
Y社区的眼光，你的好奇心。无付费推荐。
2,872独立仓库
4,114Show HN 帖子¹
3,330GitHub 外链¹
2026 年 7 月快照
社区发现的互联网一角
创造，然后分享。✳
按 HN 分数排序，非 GitHub Star 数
Show HN
cloudflarebase /
cloudflarebase
Cloudflarebase – open-source Firebase alternative on Cloudflare
Show HN
geoeq /
geoeq
GeoEQ, a Python package for civil/geotechnical engineering
Show HN
tomlin7 /
biscuit
Biscuit – Native, extensible, AI code editor. <20 mb in size
Show HN
pocket-veto /
pocket-veto
PocketVeto is a Bluetooth-only AI agent remote control
Show HN
nrkoka786 /
synapse
Synapse – local codebase indexer and MCP server for Claude Code
Show HN
chrisgagne /
grounded-forge
Grounded-forge – RAG with summaries and task views precomputed ingest
Show HN
JustMichael-80 /
MasterVault
MasterVault: Stop your LLM's context file from growing stale
Show HN
bitmonky /
PeerTree
PeerTree an Biological Inspired Network
Show HN
ybubnov /
metalchat
Gemma 3 inference in pure C++ with Metal acceleration
Show HN
pocket-stack /
pocketjs
PocketJS – Solid/Vue JSX and Tailwind at 60fps on a 2004 Sony PSP
Show HN
vgnapuga /
meon
Meon – declarative flat-parsing engine (SoA, no AST)
Show HN
sachinkg12 /
heaplens
HeapLens – Java heap dump analysis inside VS Code
Show HN
kemuri /
nearfield
Nearfield – Custom macOS driver to stereo-pair two Studio Displays
Show HN
VladUZH /
harken
Harken – self-hosted social listening (HN, Reddit, Mastodon, Bluesky)
Show HN
mbvlabs /
andurel
Andurel Web Framework Releases v1.0.0
Show HN
arman-jalili /
rigorix-oss
Coding agent that compiles intent into deterministic DAG before running
Show HN
viktor-silakov /
cmux-ssh-here
Cmux-SSH-here – throwaway SSH server and deep link in one npx command