dudemanAtl · HN

PlanWright – A control plane for AI coding agents

plutozc · V2EX

做了个 Codex Desktop 主题预览和切换工具，先调好再安装 最近一直在用 Codex Desktop ，觉得默认界面看久了有点单调，就顺手做了个主题编辑工具，分享一下： [Codex Skin]( https://getcodexskin.com) 可以先在网页里预览主题，调整背景透明度、面板透明度、颜色、模糊和圆角等参数，满意之后再下载并切换到 Codex Desktop 。 目前支持： - 自定义 JPG 、PNG 、WebP 背景 - 在线实时预览主题效果 - 调整透明度、颜色、模糊、圆角 - 预览满意后生成安装命令 - 不喜欢了可以恢复默认外观 目前主要面向 macOS 上的 Codex Desktop ，还是个人项目，功能和兼容性都在继续打磨。 欢迎试试，也想听听大家对主题参数、预览效果和安装流程的反馈。 直接网址： https://getcodexskin.com [轻喷 轻喷，可能还有些 bug

@mkappworks · X

I am building lets connect

sim04ful · HN

Fudge – Web Design References for 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...