Show - HN Paper

Show HN: BodyBuilding Coaching Tools Claude Coded

Show HN: Open Line Protocol – a minimal wire for AI agents (MIT)

Show HN: Containers for Lean 4 (polynomial functors, with M-types)

Show HN: Bulk install nerd fonts in a single command

Show HN: HN Term – browse HN using the terminal

Show HN: A tool to make a bootable USB installer out of macOS, or download it

Show HN: Summarize Any Article, Paper, or Video in 5 Bullet Points

Show HN: Labspace Directory – Biotech resource for lab space

Show HN: PHP MCP SDK

Show HN: SimKit – TS framework for testing and running AI agent simulations

Show HN: Pooshit – Sync local code to remote Docker containers

Show HN: Cut AI API costs 90% with intelligent model routing

Show HN: Free AI Prompt Hub

Show HN: Blocks – Dream work apps and AI agents in minutes

Show HN: Httpjail – HTTP(s) request filter for processes

Show HN: Ruminate – AI reading tool for understanding hard things

Show HN: A Daily Typing Challenge in the TUI

Show HN: Helios, an open-source distributed AI network using idle community GPUs

Show HN: MCP for Ec2instances.info

Show HN: Flowbaker.io – Self-hosted automation: connect AI and apps in workflows