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

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

用 PLG Esaie 选择数学难度和主题,做无限测验,立即查看答案。
@EsaiePelinyn · X
Check out what I just built with Lovable!

输入数学题,逐步讲解解题过程和原理。
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

使用多个独立的数值引擎验证数学表达式的准确性。
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:

通过9个主题的测验、AI导师和液态玻璃界面学习数学。
@AsedaKingVpryi · X
Check out what I just built with Lovable!

通过真实的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编码代理提供共享记忆,存储团队发现和产品知识。
snakaya · HN
Vibsync – One Shared Memory for Claude Code, Cursor and Codex (MCP)

免费Math Circle课程:20课时计划、可打印资源、19个数学游戏,适合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:

ValuePair: 通过问题回答根据共同价值观与朋友配对。
zloy88 · HN
ValuePair – a friendship app that cares about values first

为AI原生团队构建共享知识图谱,组织团队背景和智能体信息。
ximihoque · HN
Collaborative context-sharing memory platform for agents and teams


探索数学曲线、分形、对称和拓扑的交互式可视化。
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.