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

SafeWrite AI — 结合 AI Humanizer 与 AI 检测功能的写作工具，帮助用户生成更自然、难以被检测为 AI 的内容。支持训练私有化的 Humanizer，模拟个人文风并确保隐私不泄露。同时整合 GPTZero、Turnitin 等检测器，一键获取多平台检测结果。通过“改写-检测-再改写”的自动流程，有效提升内容通过率，适用于学生、自由写手及内容创作者。

@GeorgeGognadze · X

Hi, I’m building the new chess version where mini games decide the capture @dualchess

u/Due_Load6189 · Reddit

I built a study battle app and need honest feedback Hey everyone, I’m a student building StudyClash, an app that turns practice questions into competitive study battles. You can try a deck, answer questions, get a score, see what topics you’re weak in, and use an AI coach to understand mistakes. I’m not trying to sell anything right now — I just need honest feedback before I show it to more people. Main things I want feedback on: Is the app easy to understand? Does anything look b

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

@askrashidkhan · X

@DeveloperL92487 · X

I built my first app in 60min And now I got $500 MRR in one month Check here if you are interested It’s a tool to reduce agent token consumption, speed up agent response, and clean up memory cache

StarVeil AI - 星河入梦 — 使用AI生成连续漫画的网站

stoicstoic · HN

Show HN: Diff two versions of an AI agent and catch silent permission changes

@ahntany · X

Good to see you:) I'm working on ai marketing tool :

@dearsummer0 · X

Your personal AI companion