
完整作品展
技术栈
60 projects


社交化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.

Nano Banana 是免费在线图像编辑与视频生成工具,可编辑产品图、润色肖像。
Nano Banana Free — 图像编辑与视频生成工作台,支持产品图精修、人像润色、背景替换和视频生成,并在一个工作流里整合多个 AI 工具。

将URL粘贴到Tacit,AI会转录、总结并在画布上连接相关内容。
@trytacit · X
Building TACIT to stop stop saving and start applying

托管 JSON 数据库,用于存储 agent 内存,具有 REST 和 MCP 连接能力
@StuSim · X
hey Adam, I run , lightweight agent memory

从文本提示自动生成产品演示视频的 AI 代理。
amine_boukioud · Product Hunt
Bingeable AI agent that turns one prompt into a product tutorial video

创建共享白板,进行素描、头脑风暴、分配任务和协作。
@claroboard · X
I built a whiteboard. The hardest part wasn't the coding. The hardest part was getting the first users. Want to give it a try?

BabyFilter 一键将照片转换为可爱的宝宝版本。
BabyFilter AI — 将用户上传的人物照转换为小时候的照片

Botsnip - 浏览 AI 生成的短视频
@botsnips · X
Check out our AI only shorts

免费 AI 聊天,支持多个模型(Grok 4 Fast、DeepSeek V3.1 等),无需登录。
Free AI for Everyone — 无需登录、完全免费的 AI(模型包括 Grok 4 Fast、DeepSeek V3.1 等)。可选择的模型以后可能会有所调整,但这个服务会长期提供,并且完全免费

AI驱动的学术论文编辑工具,提供写作辅助、引文管理和查重功能。
Voyagard — AI 学术论文编辑器,有 AI 编辑,一键查重降重,AI推荐文献索引等功能, 帮助你完成从选题调研,文献索引并管理, AI协助撰写等功能,帮助你轻松完成论文撰写

审核您的约会档案照片和简介,帮助提高匹配率的 AI 工具。
Z4cki