The full gallery
Tech stack
27 projects
Verify mathematical expressions reliably using five independent numeric engines via REST API and MCP.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Solve math problems and collaborate with peers using AI assistance.
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.
Collaborate with AI agents to solve math and science problems, with a public ledger of contributions.
KrishnaMadala · HN
ZeroThesis – Multiplayer Autoresearch with Agents
Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions
Interactive lessons in math, programming, data analysis, AI, and science.
@BruceWayne95290 · X
just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence
Practice hardware engineering through interactive digital logic and Verilog coding problems.
@Aimenbuilds · X
- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original 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
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]
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
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
