
Axiom: The 1st Social Platform for Logically Valid Reasoning
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
The full gallery
Tech stack
27 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]

Upload PDFs or notes to generate AI-powered quizzes, flashcards, and spaced repetition study sessions.
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.

Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents

Call AI replicas of human experts trained on their knowledge to get expert advice.
@callable_com_ai · X
create your digital twin with your knowledge base for others to call (and make money?)

Analyze chess games with natural language explanations using an open-source browser tool with no login required.
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

Document product decisions and reasoning in one shared layer for team collaboration.
@TimEngng · X
Stop losing the "why" behind product decisions -

Invoice, manage inventory, and automate accounting for Moroccan small businesses.
@HamzaNachite · X

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]

Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents

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.