Show HN
getspur /
spur
Spur solver – Z3-backed model-finder solved values for coding agent
GOOD CODE. GREAT DISCOVERIES.
Your next
rabbit hole.
Open-source projects. Clever little tools. Big ideas.
Unearthed from the Hacker News community.
YCommunity signal. Human curiosity.No paid placements.
2,872unique repositories
4,114Show HN stories¹
3,330GitHub links¹
July 2026 snapshot
THE COMMUNITY’S CORNER OF THE INTERNET
Made it. Shared it.✳
Ranked by HN points, not GitHub stars
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