开发者工具1 week ago
ForgeLab Brain – Multi-AI Development with Built-In Audit Loop Verification
ForgeLab Brain：多个AI智能体协作编程，自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
完整作品展
技术栈
27 projects
ForgeLab Brain：多个AI智能体协作编程，自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
保存笔记、提醒和想法，然后与 AI twins 聊天，它们会记住你的知识。
@essoratwin · X
Essora - Your personal AI memory. AI knows the world. Essora knows you. Save notes, reminders, ideas, and knowledge in one place. Chat with everything you've saved, create AI twins, and share only the knowledge you choose while keeping the rest private.
在USShop购买精选日常用品，获得AI推荐和实时订单追踪。
@Mike1754791 · X
AI代理在设计系统约束下生成UI界面，支持检查、修复和重放。
ryandmonk · HN
Dspack Studio – An agent builds UI, the design system gates what ships
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
@sridharfyi https://t.co/EsNHxfUqXO
@SocialWithAI · X
向 QWQ AI 提问，获得详细推理答案，无需登录。
QWQ AI Assistant — 免费提供经过深思熟虑且富有详细推理的答案的 AI 助手，不需要登录
社交化AI数学平台，用于解决和协作数学问题。
lemma1729 · HN
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
使用Keevora扫描收据，自动跟踪保修、提交索赔并监控保障。
@Keevora_ · X
Likewise. Hi, just shipped this week. Finally reached the stage where Keevora works end-to-end. ✅Scan receipt 📷 Store warranty 📷 Track brand replies & auto revert Live:
为印度股票交易者提供 AI 衍生品情报和市场分析。
@vish8287 · X
We have gone deep and there is no looking back. We are a vibe coded system but not an AI wrapper ! We believe in data and build deep insights into financial markets ! This can be accessed at - Do check it out !
通过 AI 辅助写作，从 API 规范和文档生成品牌化的开发者门户
@jitendraballa · X
FizzBee 是 AI 需求工程师，为编程 agent 生成经过验证的规格说明。
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...