@Griffithjade626 · X

@thatmarkzhong · X

lemma1729 · HN

Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.

@cavyro · X

austinvhuang · HN

Collaborate.dev – Multiplayer Visual Desktop for Coding Agents

@NexusAiForum · X

douvy · HN

Educational tool for understanding AI agents. Code: https://github.com/douvy/how-agents-think

@katyorby · X

i built — a local receipt for claude code runs. your check says whether the workspace passes now; the transcript supplies the activity counts. no transcript upload and no magical autonomy score.

@deep_pakhare · X

🚀 Submitted my capstone project for Kaggle's AI Agents: Intensive Vibe Coding Course with Google Introducing FarmGPT AI 🌾 🔗 GitHub: 🌐 Demo: 📖 Write-up: #AI #Kaggle #GoogleAI #React #BuildInPublic

apoorvjain25 · Product Hunt

Pulse Your company's permission-aware, proactive and agentic brain

colibris · HN

AI Assistant that verifies its own sources

@OBSIDYNAI · X

Check out what I just built with Lovable!