Aequitas AI

What it does

Every other AI always answers, even when it is guessing. Aequitas debates a hard question from many angles, formally verifies the reasoning with a math proof engine (not another AI), and certifies a verdict only when it can prove it is grounded. When it cannot, it says so.

Aequitas formally verifies the reasoning behind every certified verdict, and returns an honest “not certified” when the bar isn’t met. Verification-gated AI judgment for regulated industries.

Aequitas doesn’t just answer. Every certified verdict is checked for internal contradiction, challenged by an independent audit, and issued only from machinery that attests to its own condition. When those checks don’t hold, you get an honest “not certified” instead of a confident guess. Toggle the sample: the gate can certify, and it can honestly decline . Approve the revised counterparty exposure under current stress assumptions? Approved with conditions: the liquidity trade-off is documented and bounded. Aequitas is built around the opposite commitment. Three rules govern every verdict it certifies: Every claim in a certified verdict is formally checked by a proof engine, not another AI…from aequitas.world

• 
  Ithy AI2025 · ithy.com · ▲167

  This is another one of my automate-my-life projects - I'm constantly asking the same question to different AIs since there's always the hope of getting a better answer somewhere else. Maybe ChatGPT's answer is too short, so I ask Perplexity. But I realize that's hallucinated, so I try Gemini. That answer sounds right, but I cross-reference with Claude just to make sure. This doesn't really apply to math/coding (where o1 or Gemini can probably one-shot an excellent response), but more to online search, where information is more fluid and there's no "right" search engine + text…

• 
  AegisoraAug 2026 · aegisora-ai.vercel.app · ▲93

  The narrow control plane for AI agent tool and API calls.

• 
  AEVSJun 2026 · aevs.fetch.ai · ▲131

  proof-of-execution for AI agents

• 
  Triall: 3 AIs, 1 VerdictMar 2026 · triall.ai · ▲26

  The Only AI Tool That Doesn't Trust AI

• 
  AIQuorumMay 2026 · aiquorum.io · ▲7

  Six AIs debate it. You get one clear answer.

• 
  AskVerdictFeb 2026 · askverdict.ai · ▲3

  AI-powered decision intelligence for teams that can't afford to get it wrong. Get structured verdicts, action items, and outcome tracking in minutes, not meetings.

• 
  Spira Maxima▲578

  Video model that turns script into viral social media videos

  AI · 18d ago · spira.ai

• 
  Rill Browser▲540

  The browser where Claude Code and Codex work beside you

  AI · 18d ago · rill.love

• 
  Germany's new sovereign AI model Kolibri▲424

  Kolibri is Aleph Alpha

  AI · 19d ago · tej.as

• 
  Giving Opus 5.5 a simulated paint canvas▲392

  Paintings by AI models: programs run through a simulation of oil paint.

  AI · 21d ago · stillwet.art

• 
  PixVerse R2▲381

  A real-time world model you can explore and change

  AI · 30d ago · world.pixverse.video

• 
  Beam.win▲378

  Run AI agents on one Mac and use its windows on another

  AI · 4d ago · beam.win

• IR
  I replaced a $120k bowling center system with $1,600 in ESP32s▲2,935

  I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…

  Life & fun · Jul 2026

• 
  Elevators▲1,680

  How elevators push your buttons

  Life & fun · Jul 2026 · john.fun

• 
  18 Words▲1,160

  Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today

  Life & fun · Jul 2026 · 18words.com

• BA
  Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)▲1,033

  Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…

  Dev tools · Jul 2026 · bento.page

• 
  Getting GLM 5.2 running on my slow computer▲937

  A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…

  AI · Jul 2026 · github.com

• 
  OpenSEO▲928

  Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…

  Dev tools · Jul 2026 · openseo.so