johnnyapple · HN

I made the Chrome Dino Game editable by your AI prompts

@Hassan71030486 · X

Generate personalized AI-powered cold email replies in seconds. Perfect for founders, agencies, freelancers, and sales teams. ✨ Try 3 replies for free — no signup required. Would love your feedback! 👇 🚀 Sendox —

KKV AI — KKV 是一站式 AI 创作平台，提供视频生成、图像创作、照片编辑、趣味滤镜、AI 聊天助手等功能，无障碍访问 Veo 3、Flux、Claude Opus 4 等 100+ 顶级模型

@ForgeLab_Brain · X

Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev

Nano Banana AI — 基于市面上最强的 AI 图像编辑模型 Nano Banana 开发的图片编辑器，用嘴改图、保持角色一致性、控制细节、图片融合

@Shekar77hima · X

run deepresearch, coding agents for free.

@HowardYHuang · X

@shiftibis · X

Indie project 📝 ReBox: visual boards where color = group and branches = a file tree — both at once. Share links open without login (anyone with the link can edit). A Claude connector builds boards for you. English UI just shipped. #buildinpublic

LOVELYZOMBIEYHO

jayaprabhakar · HN

I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...

@DevKhandelwal84 · X

Built SocialFuse because creators and brands deserve better comment moderation. ✅ Filter spam ✅ Remove toxicity ✅ Stay focused on growth Try it:

@sichy · X