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

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

仅需60秒小测验,即可获得您的Financial Confidence Score,无需登录。
@GraceFintech · X
Check your Financial Confidence Score in under 60 seconds. No account needed.

Model90 提供2026世界杯的AI足球预测、实时比分和赔率。
@kmlyyll · X
now speaks #MCP. Ask any AI agent about World Cup 2026 fixtures, team stats, or match predictions: Live data, not scraped guesses. Also shipped: Link headers, an #API catalog, #WebMCP, and a #Claude Code plugin. Made in Cambridge with a lot of love and passion.😍

Obsessed Trace 游戏数据计算和管理工具
Obsessed Trace Calculator — Stream 游戏 Obsessed Trace 工具网站

通过AI评估验证知识并获得Academission认证。
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

TunaSignalAI:AI股票扫描器,实时检测动量和突破信号。
@TunaSignalAI · X
Any day traders / swing traders check out Its live since 2024 build with AI and using AI models and Machine learning to predict small cap pump stocks!

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

为现代团队自动化负载测试,无需复杂设置或手动脚本编写。
@GorodkovVi85373 · X
- load testing made easy even without enginnering team. Faster, cheaper, distributional

搜索超60,000份第三方测试报告,验证产品的真实成分和纯度。
@Titratelab · X
Love the direction. Partner with us at Built by security & software engineers. We scrape Whatsapp, TG, GLP1forums, Meso, Finnrick, Janoshik, Freedom, peptidechat, and even Discord- where we have over 1 billion messaged logged and analyzed. 70,000 COAs stored in our database from thousands of vendors. Sentimental analysis driven trust signals on all communities. This isn't vibe-coded one-shot scraping; we've developed our own inhouse anti-automation bypasses for nearly every major platform.

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

免费检测文本是否由AI生成,无需注册。
new_user___1862026e2883cc743d726f7 · Product Hunt
AI DETECTOR Probably the best AI detector with free no sign-up access.

Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents