
Axiom: The 1st Social Platform for Logically Valid Reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
完整作品展
技术栈
27 projects

使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

IntelligenceMax: 解答自适应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]

Skillably:上传 PDF 或笔记生成 AI 测验、卡片和间隔重复学习。
u/Gloomy_Silver_1700 · Reddit
Solo-built app just passed a bigger competitor on Google Play visibility score https://preview.redd.it/cmy3haru6veh1.png?width=1510&format=png&auto=webp&s=6c9f05bd5d22a012f123e4c4f6f26d1a7c85c5e3 Sharing this because it's a small win but it's mine. I'm the solo dev behind skillably, a study app where you upload your own notes or PDFs and it turns them into quizzes and flashcards, adapting based on what you actually get wrong. No team, no funding, built around a day job.

与AI对话,查看置信度评分和完整推理过程
u/RayanBuilds · Reddit
I’m 18 and built an AI chat app solo. Tear it apart (brutal feedback welcome) Built this solo this year at 18. It’s called Veris, an AI chat + writing assistant. I know, “another chatbot” 😭. So I gave it stuff the big ones don’t. Favorite feature: upload an image and pick a mode: Normal (it analyzes it) or Debate (it actually argues with you about it). Not selling anything. I just want to know: what would an AI have to do for you to use it daily? submitted by

在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents

致电专家的AI副身获取他们的专业建议。
@callable_com_ai · X
create your digital twin with your knowledge base for others to call (and make money?)

Ask any question — from “why is the sky blue?” to how neural networks learn — and watch a clear, animated explanation. Visual learning for curious minds of every age. Free to start
@Amriith916 · X
Your path to wisdom

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

使用开源浏览器工具分析象棋游戏,获得自然语言解释,无需登录。
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

在共享层中记录产品决策、背景和推理,团队不会遗忘决策背后的原因。
@TimEngng · X
Stop losing the "why" behind product decisions -

Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents