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

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

发现和分享 AI 代理技能,支持 Claude、Cursor 等多个平台
Skills.lc — AI 技能、Prompt、工作流和 Agent 分享平台,帮助发现和沉淀 AI 使用经验

AI批改作业、检测相似度的教师工具,支持学习成果评估。
@ProfDeskApp · X
Let's connect. Building giving teachers their night back.

发布前根据312个因素对社交媒体帖子评分。
u/Otherwise_Goose5292 · Reddit
I built an AI that scores your social post on 312 factors before you publish — roast my roaster Two of us are creators who got tired of the post-and-pray cycle: hours on a post, hit publish, hope, mostly flop, never know why. We realized the difference between our good and bad posts was never luck — it was hook, CTA, timing, caption. Fixable things. So we built Synthiya: paste a draft, pick your platform, and it grades it 0–100 across 13 categories (312 factors) and tells you exactly what t

将PDF转为带旁白的培训视频,使用模板和AI设计。
u/No-Tap6993 · Reddit
I built a slide deck video builder Most AI generated visual can look like slop. I built a slide deck video builder for training content. It generates beautiful slide decks from 18 templates, adds voice over, allows post editing, and finally export to mp4. Check it out at https://inkbolt.ai and let me know what you think! I have to give a shout out to this repo for inspiring how to do design properly with AI. https://github.com/zarazhangrui/frontend-slides submitted b

在您的网站上嵌入轻量级 widget,收集用户反馈、bug reports 和 screenshots
@CoryMeikleDev · X
I built SiteSay a tool that allows you to embed an incredibly lightweight (4.33kB gzipped) widget to your website for collecting feedback/bug reports with screenshots. It also automatically attaches any uncaught JS errors/unhandled promise rejections.

Umon是AI助手,整理你的技能、生成简历,为求职面试做准备。
@Skloozys · X
Umon is a career guide Upload your CV, talk to him, and he learns about you over time. He helps you figure out which jobs fit, your gaps, and how to position yourself better. The agent is the core, but there’s also a CV builder, editor, and job search.

提交你的创意,获得34+个AI代理的验证反馈。
@marcus_b1973 · X
Honest AI panel validates your idea before you build it.

免费的网站安全扫描器,检查 SSL、headers 和合规性,提供即时的信任分数和 AI 指导的修复。
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

AI驱动的CRM,用于潜在客户发现、电子邮件验证和冷联系。
@ensaktas · X

用于尝试评分机制的交互式演示工具。
@TheEduardoRFS · X
I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.
