Developer Tools1 month ago
Spala — Visual Backend Logic for AI-Built Apps
Visualize and deploy AI-generated backend code as a verifiable logic layer you can understand and own.
@SpalaAi · X
The full gallery
Tech stack
60 projects
Visualize and deploy AI-generated backend code as a verifiable logic layer you can understand and own.
@SpalaAi · X
AI fact-checking platform that verifies news, videos, images, and claims with instant truth scores.
@Banshee_1212 · X
building a deepfake detection platform,
Chat with an AI that explains its confidence in every answer with full reasoning.
u/RayanBuilds · Reddit
I’m 18 and built an AI chat app solo. Tear it apart (brutal feedback welcome) Built this solo this year at 18. It’s called Veris, an AI chat + writing assistant. I know, “another chatbot” 😭. So I gave it stuff the big ones don’t. Favorite feature: upload an image and pick a mode: Normal (it analyzes it) or Debate (it actually argues with you about it). Not selling anything. I just want to know: what would an AI have to do for you to use it daily? submitted by
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
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
schildep · GitHub
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
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
Check company legitimacy by analyzing WHOIS, SSL, DNS, and trust signals to get a trust score.
@CoderJiii · X
🚀 Just launched Veris — a platform that helps verify company legitimacy using WHOIS, SSL, website, contact, social, and legal checks to generate a Trust Score & Risk Level. 🌐 #BuildInPublic #OpenSource #FullStack #React #NodeJS
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
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.
Proof there's a real person behind an account or action.
@getanchorid · X
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256