社交社区1 month ago
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
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]
VeroLente AI用AI技术即时验证新闻、视频、图像和声明，获取真实度分数。
@Banshee_1212 · X
building a deepfake detection platform,
生成随机数学公式题进行练习。
@7spiritz · X
Check out what I just built with Lovable!
IntelligenceMax: 解答自适应AI生成的谜题来训练推理能力，从错误中学习。
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]
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
通过AI导师和交互式测验学习9个数学主题。
@TawiahHann7270 · 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
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
通过9个主题的测验、AI导师和液态玻璃界面学习数学。
@AsedaKingVpryi · X
Check out what I just built with Lovable!
