Show HN
aouxwoux /
lean64
Lean64 – doom64 style FPS on Lean 4
好代码，值得被发现。
下一个
宝藏项目.
开源项目、精巧工具，还有让人眼前一亮的点子。
从 Hacker News 社区讨论中，找到你的下一份灵感。
Y社区的眼光，你的好奇心。无付费推荐。
2,872独立仓库
4,114Show HN 帖子¹
3,330GitHub 外链¹
2026 年 7 月快照
社区发现的互联网一角
创造，然后分享。✳
按 HN 分数排序，非 GitHub Star 数
Show HN
netb258 /
defn-system
DEFN-System – A Sega Master System Emulator Written in Clojure
Show HN
CyrusNuevoDia /
skill-language-server
Skill-language-server – A language server for agent skills
Show HN
itenium-be /
starify-links
Starify Links – shields.io badges next to links on any web page
Show HN
buhuipao /
agent-console
Agent Console – A Local Dashboard for Codex and Claude Code
Show HN
milovance23 /
jwt-lens
JWT Lens – decode and verify JWTs offline, provably no network
Show HN
stalebrainlabs /
stalebrain
Provenance and decay for AI agent memory
Show HN
codemartial /
levee
Levee – a self-tuning circuit breaker and concurrency limiter for Go
Show HN
skill-federation /
skill-federation
Skill Federation – private skill search for AI coding agents
Show HN
Iito /
parley
Parley – self-hosted LLM mesh for the machines you own
Show HN
asallay /
godot-llm
Godot running Gemma 4 inference in GDScript and Vulkan compute shaders
Show HN
rishi-sekantsec /
sekant-intercept-js
Enhanced YARA to detect threats in JavaScript using context and content
Show HN
materwelonDhruv /
envapt
envapt, typed env config for decoupled TS codebases (Node to edge)
Show HN
GrayboxTech /
weightslab
WeightsLab – turn training signals into a map of your bad data
Show HN
celineycn /
cronaudit
Cronaudit – audit the cron jobs your AI agents created and forgot
Show HN
ShoelessTim /
RazerStream
RazerStream – Reviving the Orphaned Razer Stream Controller on macOS
Show HN
KonghaYao /
peri
a Rust coding agent that is compatible with Claude Code plugins/skills
Show HN
inferock /
inferock-bench
Inferock-bench – per-call billing receipts for OpenAI and Anthropic