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

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

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

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

GPTree is the AI workspace where you branch any conversation, compare models side by side, and merge the strongest thinking into one clean path. Free to start.
@naw103 · X

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]

在共享层中记录产品决策和推理,促进团队协作。
@TimEngng · X
Stop losing the "why" behind product decisions -

使用 AI 驱动的问题树来组织和探索复杂话题。
steshinss · HN
Talleyrand – Open-source AI thinking workspace built as a question tree

Riposte 是生成辩论回复、分析论证的AI工具包,提供七种专业模式。
@recurno · X
Just shipped Riposte. Paste a Reddit dunk aimed at you → get 4 reply angles that take your side. Sharp. Logical. Aggressive. Socratic. Or spar the AI in Arena first. #debate #buildinpublic

通过真实的Wikidata关系连接任意两个主题的知识图谱游戏。
u/hyperschlauer · Reddit
I built a free knowledge-graph game where every move follows a real Wikidata relationship I’m building Webwoven for OpenAI Build Week, and the beta is now live: https://www.webwoven.org It’s inspired by Wikipedia hopping: you start with one topic and try to reach a target in as few moves as possible. Every move follows a real relationship from a reviewed Wikidata graph. The game therefore shows why two topics are connected instead of treating ordinary page links as paths. Webwoven curr

为 AI 代理构建 GitHub 仓库的代码知识图,通过 MCP 协议访问。
ugurd · Product Hunt
Symvanta The code graph your AI coding agent is missing

与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 模型在编码、推理、代理和其他基准测试中的表现。
davidtsong · HN
Benchmarklist: track AI benchmarks (2.4k+), models, and capabilities