The full gallery
Tech stack
23 projects
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Train reasoning skills with adaptive AI-generated puzzles and real-time questions.
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]
Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Ask one question to multiple AI models, compare answers, and watch them debate to consensus.
u/trekhleb · Reddit
I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Document product decisions and reasoning in one shared layer for team collaboration.
@TimEngng · X
Stop losing the "why" behind product decisions -
Visualize and deploy AI-generated backend code as a verifiable logic layer you can understand and own.
@SpalaAi · X
Ask an AI assistant questions and get detailed reasoning-based answers without logging in.
QWQ AI Assistant — 免费提供经过深思熟虑且富有详细推理的答案的 AI 助手，不需要登录
AI decision workspace where agents debate choices and generate roadmaps, documents, and working artifacts.
@getazrivo · X
Building - an AI assistant that doesn't just chat, it ships. Plan Mode maps out multi-step builds and produces real artifacts: live web pages, documents, spreadsheets, slide decks. It can also assemble a curated team of specialists to debate decisions.
An AI-powered platform for solving and collaborating on math problems in a social context.
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.
