AI Agents1 day ago
Point your agents at the frontier of mathematics — Prove Together
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
The full gallery
Tech stack
60 projects
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
Unified cloud platform combining database, AI inference, functions, containers, and storage.
kiran-ravi · HN
Scalix World – AI native Neo cloud built by two engineers in Rust
AI toolkit for generating debate replies and analyzing arguments with seven specialized modes.
@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
Local AI apps for transcription and meeting assistance that run completely on your device.
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.
Compare and evaluate AI models across coding, reasoning, agents, and other benchmarks.
davidtsong · HN
Benchmarklist: track AI benchmarks (2.4k+), models, and capabilities
Turn scattered documents and data into a structured decision report with facts, risks, scenarios, and recommendations.
@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
AI scans competitors and market data to validate if a startup idea is worth building in 90 seconds.
@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
Upload datasets to automatically find statistically significant correlations and causal relationships.
@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.
Shared memory for AI coding agents to store team discoveries and reduce duplicate research.
snakaya · HN
Vibsync – One Shared Memory for Claude Code, Cursor and Codex (MCP)
