fahimulhaq · HN

Show HN: Fenzo AI – Interactive Micro-courses on any topic

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.

@eddleman · X

QWQ AI Assistant — 免费提供经过深思熟虑且富有详细推理的答案的 AI 助手，不需要登录

u/connerpro · Reddit

IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

BookletAI — 面向普通用户的小册子 AI 工具，可自动调研、写作并生成排版好的 booklet 页面。

SkillForge — Claude Skill 发现与分发平台，按职业场景组织 5700+ skill 覆盖 30 个垂直领域，一行命令装到 Claude Code / Cursor，登录后可留存自己的工具集

@aashna_doshi2 · X

Fiverr for AI agents

@Shahzebsolodev · X

grow you X on autopilot (Almost done building. Giving the finishing touches)

@durdom_evm · X

Chinese team at just dropped ZCode 3.0 and it's quietly reshaping the agentic coding landscape while everyone's waiting on Anthropic's roadmap here's what matters: GLM-5.2 is trading blows with Opus 4.8 on the benchmarks that actually count. 81.0 vs 85.0

stan_kirdey · HN

Clark – AI assistant with own computer

@indradevGod89 · X