@9to5_Dad · X

Ai mobile app ui designer with taste

@ForgeLab_Brain · X

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

@rofarkas · X

Synexa AI — 一行代码部署 AI 模型 (Replicate 50% 低价平替)，Synexa 是运行无服务器 AI API 最具性价比的解决方案，提供业界最具竞争力的 A100 GPU 价格，相比其他服务商可节省高达 62% 的 AI 算力成本 - [更多介绍](https://github.com/1c7/chinese-independent-developer/issues/47

@EnzoV_sc · X

I’ve built a skill for agent orchestration so I don’t have to explain any session how to manage the next task. Pretty useful Through I can make my orchestrator spawn as many agents as it needs, from all harnesses (Claude Code, Codex, Grok Build etc..)

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

u/Administrative_Egg78 · Reddit

I built this because AI was making me a dumb&lazy engineer I noticed something sad about how I use AI. I was shipping faster, but practicing less. I could get answers quickly, but I was losing the habit of working through the fundamentals myself. So I built Unrot: short daily challenges for developers across languages, system design, architecture, data engineering, and other tracks. Game/xp and rewards system, a tiny bit competitive. No signup required to try it: https://unrot.dev

aashhuttossh · HN

Codeground – run and share code in the browser

@AadyaAI · X

Aadya AI turns a client conversation into a branded, ready-to-send proposal or invoice PDF in 60 seconds — no templates, no formatting, no chasing.

@Scyloq · X

Currently building SentrAI. The merge-time control plane for AI-assisted software development. Enforce policy, audit every AI-generated change. Just finished an interactive demo and would love your honest feedback. Built with @Lovable

@Shekar77hima · X

run deepresearch, coding agents for free.

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