游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
23 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
使用开源浏览器工具分析象棋游戏，获得自然语言解释，无需登录。
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir
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.😍
jLNK — 立即缩短网址，方便分享和跟踪。
u/ItsTheJStaff · Reddit
Just Another Link Shortener Hi everyone, I am willing to share my freakingly ordinary project, I am not sure if I can (and should) post it here as I have never published any pet project seriously, but the time has come. It's not that I believe in the project or something, but after a long development that took about a month... I wiped out all the sources and determined that I had implemented over-engineered unusable geek-oriented piece of shit... and took a one-year break only to restart t
监控 AI API 中转站实时健康状态和网关推荐，对比性能指标。
yaojingang · GitHub
TokHub AI API 中转站监控、推荐运营与 OpenAI 兼容专属网关系统，支持分层探测、健康评分、用量计量、告警审计和 Docker 自托管。
参与社区竞猜，让时间验证你的判断，记录你的段位。
geniushui · V2EX
我的第 4 个 Vibe coding 项目——猜一猜 网址： https://cai1cai.com/ 猜一猜，让时间验证你的判断 花了 2 天时间整出来的，请各位大佬给点建议！
60+破冰游戏，配套宾果卡和队名生成器，无需注册。
Icebreaker Games — 破冰游戏：搜索、筛选、按步骤直接开玩。
用于尝试评分机制的交互式演示工具。
@TheEduardoRFS · X
I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.
使用Strava或里程表追踪山地自行车悬挂、传动和保养周期。
@GadgetsCars · X
Built a mountain-bike service-tracker with no accounts and no server-side data nothing to breach, I don't have your data. Garage stays on-device, cloud backup is encrypted on your phone before it leaves. Built with Claude behind a strict test+CI gate.
创建模拟投资组合，进行策略回测和AI市场分析。
策引 — 全球市场技术分析工具，可以创建多个市场的模拟组合并做深度回测分析。同时正在开发 AI Agent 功能，可帮助用户使用大模型自动生成基于不同交易策略的模拟组合。