
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

Pick your math level and topic, then solve generated quizzes with instant answers.
@EsaiePelinyn · X
Check out what I just built with Lovable!

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 mathematical expressions reliably using multiple numeric engines via API.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:

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!

Connect any two topics by finding paths through real Wikidata relationships.
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

Shared memory for AI coding agents to store team discoveries and reduce duplicate research.
snakaya · HN
Vibsync – One Shared Memory for Claude Code, Cursor and Codex (MCP)

Free math curriculum featuring 20 lesson plans, printable packs, and 19 browser games for ages 7–8.
@iamjoshknox · X
This is very cool - I'm starting a math circle at my son's school this year. I vibe coded some teaching instructions for it here:

Match with friends based on shared values through question-based comparisons.
zloy88 · HN
ValuePair – a friendship app that cares about values first

Shared knowledge graph platform that organizes team context for AI agents and tools.
ximihoque · HN
Collaborative context-sharing memory platform for agents and teams

Input a math problem to get AI-generated visual explanations for learning.
@laodaozzz · X
我也做了一个教小朋友学数学的工具叫easymath。

Explore interactive visualizations of mathematical curves, fractals, symmetry, and topology.
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.