Formulas AI — 帮助用户生成 Excel 公式，基于 DeepSeek-V3 的 AI 工具产品（需要用户自己填入key）

shreyans_assistiv · Product Hunt

AskCodi Orchestrate agents at scale while reducing cost

@PrakashS720 · X

Been deep in AI tools this week. Here are 10 that actually earned a spot in my stack: 1. (prompt once, generate with 40+ image/video models) 2. (an AI colleague that works your tickets in Slack) 3. (a blockchain built so AI agents can pay each other) 4. (one API key for 100+ models, auto-routed + insured) 5. (an AI employee that lives in Slack and Teams) 6. (run your fleet of Claude Code/Codex agents in parallel) 7. (AI search that answers instead of just linking) 8. (describe a topic, get a full slide deck back) 9. (speak naturally, get polished text 4x faster) 10. (60+ image/video models, one prompt box) Don't lose this list, it could be incredibly helpful.

@Ajathinfotech · X

How do Ajath's parallel agents actually build full-stack apps in mins? Let you work with up to 10 specialized AI agents in parallel to eliminate traditional development bottlenecks. Try Ajath for free: #VibeCoding #NoCode #AIAgents

@hyraxai · X

@soracstv · X

I run my AI coding agents with AgentsRoom, a visual command center for multi-agent development. @AgentsRoomDev #VibeCoding #AI

Brick Center — 如果您是一位乐高爱好者，热衷与创造各种乐高形象，BrickCenter 可以将您的创意，自动生成乐高设计图。AI 乐高生成器可以将你的文字转换成定制的乐高套装。轻松地从照片创建你自己的小人偶，如果您觉得乐高头像很酷，也可以将您的自拍图片，生成乐高头像。还可以来网站浏览由爱好者精心制作的独一无二的乐高作品 - [更多介绍](https://www.bilibili.co

u/Express-Phase1532 · Reddit

rungraph - see what your coding agent actually did, as an interactive graph (open source) My coding agent kept doing 20 minutes of work I couldn't inspect afterward. The transcript exists (Claude Code and Codex CLI write everything to disk), but nobody reads 4,000 lines of JSON. So I built rungraph, open source and free (MIT). npx rungraph turns every session on your machine into a clickable graph: your prompts run down the spine, subagents get their own lanes, and it flags stuff like ret

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

@askjames_co · X

u/texo_optimo · Reddit

I got tired of leaving claude code for image assets so I made Img-Forge - a remote txt2img MCP, API SoloDev here (doing this outside of my 9-5); I've decided to start shipping instead of remaining in a state of perpetual build. I'm shipping the tool I use most in my own work: Img-forge. Link is here but I have a Product Hunt listing for it here. There is a small free tier to check it out. Stackbilder.com is the platform UI; but Easiest way to get your agent working with it is via mcp

PromptArk — 帮助用户优化提示词，用户输入简单的提示词，AI 辅助生成更结构化，更详细的提示词