AI 智能体1 day ago
Point your agents at the frontier of mathematics — Prove Together
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
完整作品展
技术栈
60 projects
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
统一云平台，集数据库、AI推理、函数、容器和存储于一体。
kiran-ravi · HN
Scalix World – AI native Neo cloud built by two engineers in Rust
Riposte 是生成辩论回复、分析论证的AI工具包，提供七种专业模式。
@recurno · X
Just shipped Riposte. Paste a Reddit dunk aimed at you → get 4 reply angles that take your side. Sharp. Logical. Aggressive. Socratic. Or spar the AI in Arena first. #debate #buildinpublic
Tovo - 本地AI应用，提供转录和会议协助，完全在设备上运行。
Tovo - AI 会议/面试助手 — 在会议中，Tovo 是一款注重隐私的 AI 助手，完全在您的设备上运行，为会议和对话提供实时转录和智能协助，无需向外部服务器发送任何数据。
@lightsilver323 https://t.co/jorheojhTQ https://t.co/SPHoe5QNpk https://t.co/KpJkSm4Pxr Hugging Face🤗: we upload our models and datasets. RMCMMK-Bench : our benchmark for Reasoning
@compiwer_ai · X
Hugging Face🤗: we upload our models and datasets. RMCMMK-Bench : our benchmark for Reasoning Math Coding Multilingual Moroccan Knowledge.
对比和评估 AI 模型在编码、推理、代理和其他基准测试中的表现。
davidtsong · HN
Benchmarklist: track AI benchmarks (2.4k+), models, and capabilities
Ascendra 将散乱的商业数据整理成决策报告，包含事实、风险和建议。
@AlinaBurykinaa · X
Just launched Ascendra on Product Hunt + Hacker News. It turns a messy business decision into facts, risks, scenarios, and a calibrated recommendation — instead of just validation. Try it free → #buildinpublic #AI #startup
CoBro 用 AI 扫描竞争对手和市场数据，90 秒内判断初创企业创意是否值得构建。
@Ebrahim_Rio · X
Most founders skip validation and pray. I automated the "worth building?" check. AI scans competitors, Reddit, and market data → Cook or Kill in 90 seconds. Killed? It surfaces the pivot the data actually backs.
The Grey Matter - AI-Powered Business Observability Platform using the 9Vectors Framework
@CHARLIEMILLERai · X
上传数据集自动发现具有统计意义的相关性和因果关系。
@matthew_meadows · X
Correlation Studio - Discovery Mining • Causation Analysis A powerful new SaaS statistics application that brings the insights of correlation data science to everyone. Data science without the code.
为AI编码代理提供共享记忆，存储团队发现和产品知识。
snakaya · HN
Vibsync – One Shared Memory for Claude Code, Cursor and Codex (MCP)
