Show - HN Paper

Show HN: SkillFortify, a formal verification for AI agent skills

Show HN: A Wasm to Go Translator

Show HN: Ansible TUI – a zero-dependency terminal UI for running playbooks

Show HN: Talkatui – WWE style live commentary for your AI coding sessions

Show HN: Open Graph Tag Checker

Show HN: Mthds – Beyond skills: a typed DSL for executable AI methods

Show HN: NSED 0.3 Release. Steer Multi-Agent AI Swarm for Frontier Performance

Show HN: DevSwarm 2.0, fix parallel Claude Code sprawl

Show HN: Cc-pipeline – Autonomous Claude Code pipeline that builds your project

Show HN: I run a team of AI agents on my Kubernetes cluster

Show HN: Portable Secret – Open-Source HTML files that self-decrypt offline

Show HN: Cifer, zero-key custody using threshold cryptography

Show HN: NotBuiltYet– Open-source library of civilisation problems worth solving

Show HN: Ryvos – Autonomous AI assistant in Rust(15MB RAM,50 tools,16 providers)

Show HN: I built a minimal distributed tracer from scratch to understand better

Show HN: Gonzales – Self-hosted internet speed monitor with Home Assistant

Show HN: I'm building TaskWeave, a typesafe task orchestrator

Show HN: BetterDB Cloud – monitor Valkey/Redis in VPCs with a lightweight agent

Show HN: Nano banana 2 is coming to nanabanana2.run

Show HN: AgentSecrets – Zero-Knowledge Credential Proxy for AI Agents

323 324 325 326 327 328 329 330 331 332