
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
28 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

检测 Claude 账户封号风险,验证环境 IP 纯净度。
yacuo · GitHub
check-cc https://checkcc.org 是一个 Claude 运行环境检测与账号风险分析工具,面向正在注册 Claude 账号、订阅 Claude Pro、申请 Claude API、使用 Claude Code,或担心 Claude 封号、账号受限、订阅失败的用户。

改写AI文本以绕过检测,使其看起来像人工写的。
AI Undetect — 能绕过 AI 检测器的、生产不可检测内容的人工智能写作工具

Blue White Flag - 节奏判断游戏,按箭头键跟随节拍并区分真假指令。
Blue White Flag — Play Blue Flag White Flag Games Online Free


用 flashcards、测验和 AI 辅导学习编程技能,基于记忆科学。
@mkappworks · X
I am building lets connect

上传加密文件,获得自销毁链接分享,无需登录。
@cortexdrop · X
CortexDrop- first consumer file sharing built on IPFS. Drop a file, get a private link.

自动隐藏Instagram上的有害评论并检测垃圾信息,保护品牌声誉。
@DevKhandelwal84 · X
Built SocialFuse because creators and brands deserve better comment moderation. ✅ Filter spam ✅ Remove toxicity ✅ Stay focused on growth Try it:

使用文字提示编辑视频,支持ChatGPT、网页和桌面版。
zaczuo · Product Hunt
ChatCut Your AI video editor in ChatGPT, desktop, and web

AI Image Editor:12个免费工具支持图片增强、去水印、风格转换、背景编辑。
AI Image Editor — AI 图片处理工具,支持图片增强、去水印、抠图、风格转换、线稿提取等十余种功能。无需下载软件,无需注册,上传图片即可一键生成专业效果。适用于电商设计、社交内容创作、摄影后期、教育教学等多种场景,让图片编辑变得更智能、更高效、更简单!

用文字描述来编辑照片:增强、去除背景、擦除物体、交换人脸。
AI 图像编辑器 — 图像编辑工具套件,集多种功能于一体。从照片质量、放大低分辨率图像、进行创意设计等等

与AI代理聊天,实时扫描网络应用和API中的漏洞。
@SableOffensive · X
Building Sable. An AaaS where specialized AI security agents perform penetration testing for web apps and APIs, helping teams find vulnerabilities before they reach production.