@Biacode03 · X

@AtelioWeb · 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.

Detector de IA — 西班牙语优先的 AI 文本复核网站，可检查粘贴文本和文档，查看概率信号、句子高亮和可导出报告

@frank_brsrk · X

reasoning tools for ai agents

@birkinapps · X

Logic Loom is out now on iOS 🧩 A calm collection of grid logic puzzles — Want to try before installing? Play the web demo, no download needed. iOS: demo: #puzzlegame #indiedev

@Bim_evaporates · X

Check out DMs open

@lucasxparis · X

the AI financial OS for french solopreneurs automating accounting and tax declarations

@Ghofrane7a2l · X

Check out what I just built with Lovable!

GPTGeminiGrok.AI — Grok / SuperGrok 为主的 AI 模型服务入口，同时提供 GPTPlus、GeminiPro、ClaudeProMax 账号及 API 中转

lecsium · Product Hunt

Lecsium Learn languages by reading AI-generated interactive novels

@SpalaAi · X