Dispatch Calculator — Steam 上 Dispatch 这个游戏的计算器助手，帮助玩家针对不同任务进行分配人员信息。

@trytacit · X

Building TACIT to stop stop saving and start applying

SongGuru.AI — 使用 AI 生成音乐、写歌词还可以分离音乐中的乐器和人声

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...

@anish2good · X

AI Amazing — AI 图像/视频生产平台，面向创作者与团队

@ForgeLab_Brain · X

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

AI Excel Translator — 批量翻译 Excel 或 CSV 文档，支持 100+ 语言。

MotionSeed — AI 视频生成平台，聚合 Sora 2、Veo 3.1、Seedance 2.0 等多个主流 AI 视频模型，支持文字生成视频、图片生成视频，无需分别注册各平台账号，注册即送免费额度。

GenColoring AI — AI 生成涂色页平台 - [博客介绍](https://blog.csdn.net/weixin_52314137/article/details/152511285)

brandon_grutkowski · Product Hunt

Aurora Glass-box Quantitative AI for Humans and Agents

@askjames_co · X