@OauthNature · X

Ai cv tailoring job board

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

jacobgc · HN

Outside Agent – Build SMS Agents from Claude Code

Nano Banana Pro — AI 图像与视频生成平台，支持精准区域编辑、照片修复、风格转换、多图融合、角色一致性保持及视频生成

@Dil_Lynn · X

@jaeholeeeee · X

High-end AI video studio Currently pivoting to BYOK model from expensive subscription plan

@askrashidkhan · X

@bind_ai · X

We got tired of juggling model subscriptions and editors, so we built Bind AI One tab: Claude, GPT, Gemini, an IDE that runs the code and ships it to Vercel Heads down on the shortest path from idea to application #vibecoding

@aarsh_30 · X

@Bim_evaporates · X

Check out DMs open

@sacsandc4 · X