Developer Tools3 days ago
SDI Protocol | A Reasoning Computer for AI
A ledger for verifying AI model reasoning with hash-chained records.
dj_johnsonMid · HN
A hash-chained ledger for AI reasoning you can verify yourself
The full gallery
Tech stack
60 projects
A ledger for verifying AI model reasoning with hash-chained records.
dj_johnsonMid · HN
A hash-chained ledger for AI reasoning you can verify yourself
AI tutor that explains homework problems from photos and creates quizzes to test understanding.
@atheethsishtla · X
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Analyze chess games with natural language explanations using an open-source browser tool with no login required.
u/ICARUS_2X · Reddit
Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir
Document product decisions and reasoning in one shared layer for team collaboration.
@TimEngng · X
Stop losing the "why" behind product decisions -
Tulvo brings thinking, planning, execution, and insight into one living system — built around how your company actually works.Tulvo brings thinking, planning, execution, and insigh
@AyaanShakif · X
Hello, this is Ayaan. i have built tulvo....Basically : It's a tool that can adapt to any custom system according to business need.we are giving it for the whole month. you can give a try:
Logiciel de comptabilité conçu autour d’un agent, pas autour de formulaires : tous les cas sont gérés, même atypiques. TVA, Urssaf et clôture préparées et expliquées, vous validez.
@MaPtitePaperass · X
Agentic-first solution for French accounting.
Buy a proven method, make it your own, and check off steps to the outcome. The anti-course: short, active, finishable.
@victorzamfir · X
State a goal and criteria; a panel of AI models evaluates it while a referee rules on each criterion with cited evidence.
nadermx · HN
Referee.Chat - Set the goal. An AI panel works. Referee clears it done
Proof there's a real person behind an account or action.
@getanchorid · X
Input a math problem to get AI-generated visual explanations for learning.
@laodaozzz · X
我也做了一个教小朋友学数学的工具叫easymath。
Quiz platform for kids (Grades 1-10) to practice and learn through interactive quizzes.
@lodha13 · X
Checkout below apps Hisabarabar (Play Store)