Show - HN Paper

Show HN: Rulebook AI – rules and memory manager for AI coding IDEs

Show HN: Tiny Hoare logic verifier using SMT

Show HN: Sysmodeler.ai cuts safety-critical modeling from weeks → minutes (Beta)

Show HN: AI that solves group scheduling – InstantGroups

Show HN: I built a simple business process management tool

Show HN: 3 days without pooping? I gotcha

Show HN: MCP Kit – a toolkit for building, mocking and optimizing AI agents

Show HN: Superscan – Visualize filetree for filesystem, gdrive, S3 buckets etc.

Show HN: I was tired of bad image translations, so I built my own tool

Show HN: Accurate orbital dynamics for asteroids/comets

Show HN: I Built a Gamified 2-Clicks AI YouTube Curator to Learn Smarter*Faster

Show HN: Resume Customizer with Agents

Show HN: WarioWare AI Generated Microgames

Show HN: A baby UI design agent that explores and iterates

Show HN: Think Circular Color

Show HN: lambda-nat-proxy – Serverless proxy using Lambda and UDP NAT punching

Show HN: I built a FOSS tool to run your Steam games in the Cloud

Show HN: RauGen AI Math Solver, Concept Explainer, and More

Show HN: Handy – Free open-source speech-to-text app written in Rust

Show HN: PMDb – Public Movie Database

6
7
8
9
10
11
12
13
14
15