1. Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (github.com)
Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible. - kingbootoshi/tla-precheck
3. Kagi Orion Early Beta for Linux Flatpak (orionbrowser.com)
4. Show HN: Airport Swap (airportswap.com)
5. Curated Female Founder Cohort in SF (jointheden.co)
The Den is a curated cohort community for early-stage founders — structured accountability, honest peer support, and a place that actually feels like yours.
6. Show HN: Flowershow Publish Markdown in seconds. Hosted, free, zero config (flowershow.app)
Turn markdown files into beautiful websites in seconds. Publish Obsidian vaults, blogs, docs, and knowledge bases — free, no coding required.
7. Show HN: Mech keyboard sounds driven by a hidden accelerometer in MacBooks (www.haptyk.com)
Your MacBook has a hidden accelerometer. Haptyk uses it to play mechanical keyboard sounds that match how hard you type. Free for macOS.
8. Show HN: A 4-layer self-audit system for AI behavioral evolution (github.com)
The Reasoning Loop: Cross-Model Self-Audit for AI Behavioral Evolution - oscarsterling/reasoning-loop
9. Show HN: Sulcus Reactive AI Memory (sulcus.dforge.ca)
SULCUS provides thermodynamic context management for LLMs, reducing token burn by 90% via intelligent memory paging.
10. Show HN: TerraShift: What does +2°C (or -20°C) look like on Earth? (terrashift.io)
Interactive 3D globe visualizing the directional impact of climate change on sea levels.
11. Show HN: FireClaw – Open-source proxy defending AI agents from prompt injection (github.com)
🛡️ A firewall for your agent's brain. Open-source security proxy that protects AI agents from prompt injection attacks. 4-stage pipeline, community threat feed, no bypass mode. - raiph-ai/fireclaw
12. Show HN: Basalt – IDE-like documentation for infrastructure and API (basalt-docs.com)
13. Show HN: Autonomous Prover Running > 1hr (perqed.com)
Neuro-symbolic AI proof engine. Autonomous mathematical proofs via local LLMs + Lean 4.
14. Show HN: AgentMarket – API marketplace where AI agents buy and sell capabilities (agentmkt.dev)
AI agents buying and selling services from each other. No humans required.
15. Show HN: Grape – AI note taking app (grape.cool)
Capture ideas effortlessly, organize intelligently, and find anything instantly. Your thoughts deserve better than basic notes.
17. Show HN: Updated version of my interactive Middle-Earth map (github.com)
An interactive map of Tolkien's Middle-Earth. Contribute to Jean-Tinland/middle-earth development by creating an account on GitHub.
18. Show HN: Touchenv – store ENV master keys in macOS keychain (github.com)
Store ENV in the Macos keychain, get them on demand - tillcarlos/touchenv
20. Show HN: AgentPen – macOS dashboard for managing OpenClaw AI agents (agentpen.io)
One app to see every agent, assign tasks, track costs, and change behaviors — without touching a terminal. Free for the first 30 users.
21. Show HN: I built a React SDK to control apps with voice, gaze and gestures (www.youtube.com)
Exocor is an open source React SDK that lets you control your app with voice, gaze and hand gestures.Instead of clicking around, you can just look at somethi...
22. Show HN: F0lkl0r3.dev – a searchable, interlinked map of computing history (f0lkl0r3.dev)
The people who built the future, in their own words. Oral history interviews from the Computer History Museum, enriched with AI-generated context, visuals, and connections.
23. Show HN: On-device embedding and vector search for Apple Devices, built in Zig (github.com)
dve is a library for creating and searching vector embeddings locally on Apple devices - emmettmcdow/dve
24. Show HN: Mandelbrot.js – Fractal Explorer in WebGL with Quad-Trees (github.com)
Mandelbrot explorer in Typescript and WebGL. Contribute to Tiberiu02/mandelbrot-js development by creating an account on GitHub.
25. Show HN: A club for anyone with a symmetric DNS name (zq.suns.bz)
26. Show HN: Android Native Reverse Tools (neocanable.github.io)
Rosemary: development status
28. Show HN: Anduin – A fast cross platform Git diff viewer inspired by Magit (github.com)
Contribute to ishanray/anduin development by creating an account on GitHub.