RedMirror: make any LLM find real bugs
Make any LLM find real bugs in your code, and prove them
What it does
Give any model the power to find real bugs and prove them: it guides your agent to where bugs live, then a compiled kernel searches every reachable state and returns a replayable attack path, or a proof it's safe. New: it now also finds injection bugs and lands the exploit on a live app. On the 440-case OpenSSF benchmark a 20b model matches the 120b at 96%. Runs offline, your model. Free 7-day trial, then $4.99/mo.
Give any model the power to find real bugs and prove them: it guides your agent to where bugs live, then exhaustively searches every reachable state and returns a replayable attack path. On the 440-case OpenSSF benchmark it takes gpt-oss-120b from 54% to 96% of real bugs caught, and a 20b model reaches the same. Free 7-day trial, no card, then $4.99/month, cancel anytime.
We never receive your code. RedMirror is one binary that runs on your machine and calls whatever model you choose. Pair it with a local model and nothing ever goes on the wire; point it at a cloud model and the only thing sent is what that model reads, to the provider you already trust. A command-line binary that runs as an MCP server for your coding agent, right on your machine. Point it at your code and your own model (local or cloud), and it finds real security bugs and proves each one. Pick a real bug from a real scan, hit verify, and watch the kernel return the exact reachable path that breaks it. Nothing to install, it runs right here. Must hold your coding agent · redmirror…from redmirror.io
Does the same job
all alternatives →
Make any LLM find vulnerabilties & bugs27d ago · redmirror.io · ▲2Works on 120b, 20b and even 8b models
More ai this month
the category →
I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.
AI · 17d ago · simedw.com
Astute▲585Automate your B2B brand going viral, with new media creators
AI · 18d ago · company-app.joinastute.com
Hey HN, Henry from Cactus here! We previously released Cactus Needle, a 14MB agentic LLM for tool call, device use, and structured extraction for phones, wearables, smart homes, small robots and microcontrollers. We got really great feedback here, and have now incorporated the suggestions to release Needle 2. The whole model is a single 14MB binary that runs a full session in 28MB of RAM; 45m parameters at 2bit compression. Needle hits 500 tokens/sec decode speed on a Raspberry Pi 5, sits between 400-1,500 tokens/sec on VR devices like Meta Quest 3S and Apple Vision Pro, and ranges…
AI · 26d ago · cactuscompute.com
Launched alongside, August 2026
the whole month →- TL
Life & fun · 10d ago · louisabraham.github.io
- SA
Hello HN! I found that picking out plausible but diverse skin tones for my digital art and game development projects was kind of difficult, and I got curious about if there was a way to define a color space that made it easy. I've built a color picker and procedural generation algorithm based on the space as well as a bunch of other fun js features and demos throughout the page that use the equations. If you find it interesting, I have lots of explanations of how I built it and what properties the space has. The methodology might be a bit shaky, but hopefully the result is as helpful for…
Life & fun · Aug 2026 · toneyalexander.github.io
I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.
AI · 17d ago · simedw.com