The full gallery
Tech stack
26 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
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Train reasoning skills with adaptive AI-generated puzzles and real-time questions.
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
Take AI-powered skill assessments to verify your knowledge and earn certifications.
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:
Inject engineered cognitive abilities into AI agents at inference time.
@frank_brsrk · X
reasoning tools for ai agents
Call AI replicas of human experts trained on their knowledge to get expert advice.
@callable_com_ai · X
create your digital twin with your knowledge base for others to call (and make money?)
An AI-powered platform for solving and collaborating on math problems in a social context.
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.
Multiple AI agents develop code in parallel with automatic error detection and fixing
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
Ask one question to multiple AI models, compare answers, and watch them debate to consensus.
u/trekhleb · Reddit
I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]
Transform AI-generated text into human-sounding content with tools for grammar, summarization, and SEO optimization.
@RohanAhmed06 · X
🚀 Built Humanely. An AI writing toolkit with: • AI Humanizer • AI Detector • Grammar Checker • Text Summarizer • SEO Tools I'd love your honest feedback 🙌
