
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
60 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

VerusCite verifies citations in academic PDFs with AI extraction and database cross-checks. Flag hallucinations and metadata mismatches before you submit.
u/andy_p_w · Reddit
VerusCite — Verify Academic Citations Tool to evaluate whether citations in academic papers can be verified, have minor errors, or are likely AI generated hallucinations. submitted by /u/andy_p_w to r/SideProject [link] [comments]

AI fact-checking platform that verifies news, videos, images, and claims with instant truth scores.
@Banshee_1212 · X
building a deepfake detection platform,

Generate randomized math formula problems to practice.
@7spiritz · X
Check out what I just built with Lovable!

Improve your reasoning by solving adaptive AI-generated puzzles that learn from your mistakes.
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]

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Learn math through interactive quizzes with an AI tutor across 9 topics.
@TawiahHann7270 · X
Check out what I just built with Lovable!

A debate platform with AI evaluation and cryptographic voting across 18 phases to find collaborative truth.
@abd_yazouri · X

Personalized math learning platform that watches kids solve problems and shows parents evidence of growth.
@DavidEstrine · X

Type a math problem and get step-by-step walkthroughs with explanations.
u/peterparkermarker · Reddit
MathIQ I built mathiq.io with Claude Code because I wanted a way for students struggling with college level maths to see how the problems can be broken down and not as intimidating. Each walkthrough goes from beginning to end and each step has a "why and how?" feature. Anon users get 1 free daily walkthrough powered by Haiku 4.5. Signed in users get 3 free daily walkthroughts powered by Haiku 4.5. Plus users get 5 Opus 4.6 walkthroughs plus 20 Sonnet 4.6. Pro users get 8 Opus/30

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

Learn math through interactive quizzes across 9 topics with an AI tutor and liquid-glass interface.
@AsedaKingVpryi · X
Check out what I just built with Lovable!