完整作品展
技术栈
24 projects
用 flashcards、测验和 AI 辅导学习编程技能，基于记忆科学。
@mkappworks · X
I am building lets connect
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...
在GitHub pull requests上自动生成代码文档。
Aldasams · HN
Show HN: DocFlow – AI documentation updates for GitHub pull requests
创建带有自定义徽标、颜色和使用情况跟踪的动态 QR 码
@IfeanyiArinze10 · X
What does What makes it unique?
ForgeLab Brain：多个AI智能体协作编程，自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
用于在 git worktrees 中并行运行多个 AI coding agents 的桌面应用
vuphanse
通过解数学或编程谜题来屏蔽干扰网站，戒除拖延
hackitup7 · HN
TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft
将一句话想法转化为精确的 AI 提示词以供编码代理使用
@_m3rl1n
上传本地化文件，获得游戏类型和语气感知的AI翻译。
@polycontext · X
Context-aware localization for apps, games, and software.
通过回答问题为 ChatGPT、Claude 等生成结构化的 AI 提示词。
@askjames_co · X
