Submissions from github.com

		Show HN: Toothpaste Picking Manager (github.com/notlibrary)
		1 point by notlibrary 11 minutes ago \| past \| discuss
		Show HN: An audit loop that only stops when it stops finding bugs (github.com/apoorvjain25)
		1 point by apoorvjain25 49 minutes ago \| past \| discuss
		Show HN: AgentBridge – translate and govern calls between AI agent protocols (github.com/shadowhunter-92)
		1 point by Shadowhunter89 2 hours ago \| past \| discuss
		I indexed 936 Lex Fridman episodes into a RAG that cites its sources (github.com/aranajhonny)
		2 points by akatsutki 2 hours ago \| past \| discuss
		Show HN: Dream Server – Turn your PC, Mac, or Linux box into a private AI server (github.com/light-heart-labs)
		4 points by dreamserver 3 hours ago \| past \| discuss
		Pyhn 0.4.0: Hacker News in your terminal (github.com/toxinu)
		3 points by toxinu 4 hours ago \| past \| discuss
		Show HN: Astro Sidey – A simple, minimalistic personal blog theme (github.com/odhyp)
		2 points by odhy 5 hours ago \| past \| 2 comments
		git-stk: Git-native stacked branch workflow helper (github.com/lararosekelley)
		4 points by sayonara_lara 6 hours ago \| past \| 5 comments
		Cosmos Claw: Hack on a Boat in SF (Nvidia Cosmos Based Social Media Manager) (github.com/manas15)
		2 points by manas95 7 hours ago \| past \| discuss
		Show HN: Coding agent with algebraic memory (VSA) instead of RAG (github.com/vitaliyfedotovpro-art)
		3 points by astrumverum 7 hours ago \| past \| discuss
		Show HN: Wtdb – give every Git worktree its own database (github.com/willhackett)
		3 points by whh 7 hours ago \| past \| discuss
		Image Toolbox (T8RIN) (github.com/t8rin)
		3 points by unexpectedVCR 7 hours ago \| past \| 1 comment
		Show HN: Cordium – FOSS identity-based sandbox platform with zero-trust access (github.com/octelium)
		2 points by geoctl 8 hours ago \| past \| discuss
		Let Me Repost (github.com/harrisjerico30-dotcom)
		2 points by jericoharris 8 hours ago \| past \| discuss
		Show HN: BootProof – Cryptographically prove any GitHub repo boots locally (github.com/bootproof)
		3 points by Bucko1 8 hours ago \| past \| discuss
		Show HN: V-COS – Governance layer that keeps AI coding agents coherent (github.com/vagnerfirminopro)
		2 points by vagnerfirmino 9 hours ago \| past \| discuss
		Qed: A verified web front end written in Lean4 (github.com/jacobasmuth)
		3 points by JacobAsmuth 9 hours ago \| past \| discuss
		Show HN: cuSBF – faster Bloom filter on GPUs for DNA sequences (github.com/tdortman)
		2 points by tdortman 9 hours ago \| past \| discuss
		Kronotop: Distributed, transactional document database on FoundationDB (github.com/kronotop)
		2 points by mastabadtomm 9 hours ago \| past \| discuss
		Show HN: RAIF – an experimental structured I/O format for LLMs (github.com/skrrt-sh)
		2 points by truehazker 9 hours ago \| past \| 1 comment
		Hillock – Local, brain-inspired AI memory using SQLite and HDC (github.com/roandejager)
		2 points by roandejager 10 hours ago \| past \| discuss
		SillyTavern provides a single unified interface for many LLM APIs (github.com/sillytavern)
		2 points by doener 10 hours ago \| past \| discuss
		Show HN: Pg-status – lightweight HTTP sidecar for PG master/replica discovery (github.com/krylosov-aa)
		3 points by krylosov-aa 11 hours ago \| past \| discuss
		CoreAI_HTCE (github.com/miroaleksej)
		2 points by CoreAi_HTCE 11 hours ago \| past \| discuss
		Show HN: I hate typing continue once my CC quota resets (github.com/softcane)
		5 points by pradeep1177 11 hours ago \| past \| 2 comments
		Frona v2026.6.0 – self-hosted personal AI assistant (github.com/fronalabs)
		2 points by syncerx 11 hours ago \| past \| discuss
		Yserver: A modern X11 server written in Rust (github.com/joske)
		102 points by Venn1 11 hours ago \| past \| 107 comments
		Audit checklists for AI coding agents – 30 invariants, any language (github.com/danygiguere)
		2 points by danygiguere 12 hours ago \| past \| discuss
		Show HN: Data-review, diff the data/numbers a PR changes (github.com/10fra)
		2 points by refsab 12 hours ago \| past \| discuss
		Nobody Is Measuring What Your AI Agents Are Worth (github.com/idank96)
		2 points by Idankogan 12 hours ago \| past \| 1 comment
		More