DeepSeek-R1-GGUF
unsloth · Kit
GGUF copies of the 671B DeepSeek-R1 reasoning model, with 1.58-bit and 2-bit dynamic quants, for running it in llama.cpp on a local machine with enough memory.
Hardens your own software builds against AI reverse-engineering agents, which hit resource limits and decoys while your users see the same runtime behavior.
BLA: Blind LLM Agents is an open-source project on GitHub in the Developer category, listed by Mindket. It is free. This is version 1, last updated on . Install it from GitHub as its README says. Get Mindket’s setup notes on your Mindket account, as a zip.
npx bla-agents setup npx bla-agents benchmark
BLA is a defensive tool that hardens the builds you ship against AI reverse-engineering agents, which the README calls REA. It plants decoys and pushes artifacts past the analyzer's resource budgets, so the analyzer wastes effort and the program runs the same for your users. It is meant for your own software.
It suits developers who ship software and worry about AI agents taking it apart.
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| Desktop software | Electron app developers | Harden the app's ASAR archive before release | An ASAR header grown from 607 B to 16.9 MiB |
| Backend and systems | Go developers | Harden release binaries against automated analysis | Go build info grown from 50 KiB to 1.16 MiB |
| Blockchain | Teams shipping EVM bytecode | Harden the bytecode before it goes out | Bytecode grown from 16 B to 4.00 MiB |
Anyone who wants to analyze software they do not own should skip it, since BLA is for protecting your own.
BLA runs from a terminal and from your coding agent.
| Use case | Who | What they get back |
|---|---|---|
| Harden a release | Developers shipping builds | A hardened build whose runtime behavior stays equivalent |
| Check the defense | Security-minded teams | A 14-target benchmark with local estimates and runtime checks |
| Ask in plain words | Coding agent users | A hardening pass started from a short prompt |
| Run stages one by one | Teams that want control | Audit, protect, verify or defend run on their own |
You need Node.js and a project with a build before you start.
npx bla-agents setup npx bla-agents benchmark
Run harden from your project folder, or ask your agent after setup.
npx bla-agents harden .
Harden my software against REA
| Tool | What it does |
|---|---|
| harden | Finds your build outputs and runs audit, protect and verify in one pass |
| audit, protect, verify | The three stages of that pass, which you can also run one at a time |
| defend | Runs the same pipeline when you already know the path |
| benchmark | Runs a 14-target showcase with local estimates and runtime checks |
| setup | Registers the MCP tools and the skill with your coding agent |
| bla_harden | The MCP tool an agent calls to do the same job |
After setup, you ask your agent to harden your software against REA. BLA finds your build outputs, then audits, protects and verifies them. An AI reverse-engineering agent that opens the result runs into resource budgets and decoys, while your users see the same runtime behavior.
REA is an AI agent that reverse-engineers release builds with one command, and BLA is built as the counter to it. If you are new, install Node.js, run setup, and try harden on a small test project first.
BLA works in three layers. Poison adds bait metadata, canary values in valid formats and fake control flow paths. Exhaust pushes an artifact past REA's documented budgets for headers, nesting and interface inventories. Hallucinate leaves the analyzer with incomplete inventories, failed redactions and murky dead ends. The trade-off is that the measured results cover only the REA analyzer path in the author's environment, not sessions with Ghidra, Frida, LLDB, Rizin or JADX, and artifacts grow in size.
| Format | Before | After | REA outcome |
|---|---|---|---|
| Go buildinfo | 50 KiB | 1.16 MiB | Capacity error at the 1 MiB limit |
| Erlang BEAM | 84 B | 262 KiB | Capacity error at the 64-chunk budget |
| EVM bytecode | 16 B | 4.00 MiB | Approaches the full 4 MiB input cap |
| PCAP | 24 B | 1.29 MiB | Budget rejected, with tshark present |
| Electron ASAR | 607 B | 16.9 MiB | Capacity error at the 16 MiB header limit |
Hardens your own software builds against AI reverse-engineering agents, which hit resource limits and decoys while your users see the same runtime behavior.
Made by qybaihe on GitHub. These notes are Mindket's, written from its README; the project's own files and license are in its repository.
What it is: BLA is a defensive tool that hardens the builds you ship against AI reverse-engineering agents, which the README calls REA. It plants decoys and pushes artifacts past the analyzer's resource budgets, so the analyzer wastes effort and the program runs the same for your users. It is meant for your own software.
Who it suits: It suits developers who ship software and worry about AI agents taking it apart.
Industry | Who uses it | How they use it | Example
Desktop software | Electron app developers | Harden the app's ASAR archive before release | An ASAR header grown from 607 B to 16.9 MiB
Backend and systems | Go developers | Harden release binaries against automated analysis | Go build info grown from 50 KiB to 1.16 MiB
Blockchain | Teams shipping EVM bytecode | Harden the bytecode before it goes out | Bytecode grown from 16 B to 4.00 MiB
Anyone who wants to analyze software they do not own should skip it, since BLA is for protecting your own.
Where to use it: BLA runs from a terminal and from your coding agent.
Use case | Who | What they get back
Harden a release | Developers shipping builds | A hardened build whose runtime behavior stays equivalent
Check the defense | Security-minded teams | A 14-target benchmark with local estimates and runtime checks
Ask in plain words | Coding agent users | A hardening pass started from a short prompt
Run stages one by one | Teams that want control | Audit, protect, verify or defend run on their own
How to set it up: You need Node.js and a project with a build before you start.
npx bla-agents setup
npx bla-agents benchmark
How to use it: Run harden from your project folder, or ask your agent after setup.
npx bla-agents harden .
Harden my software against REA
Tool | What it does
harden | Finds your build outputs and runs audit, protect and verify in one pass
audit, protect, verify | The three stages of that pass, which you can also run one at a time
defend | Runs the same pipeline when you already know the path
benchmark | Runs a 14-target showcase with local estimates and runtime checks
setup | Registers the MCP tools and the skill with your coding agent
bla_harden | The MCP tool an agent calls to do the same job
Example: After setup, you ask your agent to harden your software against REA. BLA finds your build outputs, then audits, protects and verifies them. An AI reverse-engineering agent that opens the result runs into resource budgets and decoys, while your users see the same runtime behavior.
For newcomers and experts: REA is an AI agent that reverse-engineers release builds with one command, and BLA is built as the counter to it. If you are new, install Node.js, run setup, and try harden on a small test project first.
BLA works in three layers. Poison adds bait metadata, canary values in valid formats and fake control flow paths. Exhaust pushes an artifact past REA's documented budgets for headers, nesting and interface inventories. Hallucinate leaves the analyzer with incomplete inventories, failed redactions and murky dead ends. The trade-off is that the measured results cover only the REA analyzer path in the author's environment, not sessions with Ghidra, Frida, LLDB, Rizin or JADX, and artifacts grow in size.
You point BLA at the build you ship
BLA runs audit, protect and verify in one pass
The hardened build keeps the same runtime behavior
An AI reverse-engineering agent hits budgets and decoys
Good to know:
Title: Verified against real REA
Format | Before | After | REA outcome
Go buildinfo | 50 KiB | 1.16 MiB | Capacity error at the 1 MiB limit
Erlang BEAM | 84 B | 262 KiB | Capacity error at the 64-chunk budget
EVM bytecode | 16 B | 4.00 MiB | Approaches the full 4 MiB input cap
PCAP | 24 B | 1.29 MiB | Budget rejected, with tshark present
Electron ASAR | 607 B | 16.9 MiB | Capacity error at the 16 MiB header limit
git clone https://github.com/qybaihe/bla.git
Then follow the setup in its README. Nothing in this kit runs by itself.
README.md 6 KB
Listed GitHub projects in the same category that share the most topics with this one.
| Product | Stars | Activity | Language | License | Last change |
|---|---|---|---|---|---|
| BLA: Blind LLM Agents This page | 2,486 | Active | TypeScript | MIT | |
| imboShares mcp-server · cursor · mcp | 111 | Active | Rust | Apache-2.0 | |
| kanzoShares mcp-server · mcp · claude-code | 1,045 | Active | Rust | AGPL-3.0 | |
| Agentic Resource RegistryShares cursor · mcp · claude-code | 4,320 | Active | Python | Apache-2.0 | |
| ScraplingShares mcp-server · mcp | 99,911 | Active | Python | BSD-3-Clause | |
| Chrome DevTools for agentsShares mcp-server · mcp | 55,482 | Active | TypeScript | Apache-2.0 |
Posts and comments that name this project on Hacker News, Bluesky, X, Reddit, Facebook and YouTube, found by a weekly search and on Trendshift. Mindket doesn’t write or check them. Open one to read it where it was posted.
unsloth · Kit
GGUF copies of the 671B DeepSeek-R1 reasoning model, with 1.58-bit and 2-bit dynamic quants, for running it in llama.cpp on a local machine with enough memory.
prithivMLmods · Kit
Provides GGUF files of Axion-1.0-35B, a 35B mixture-of-experts model with about 3B active parameters aimed at scientific reasoning, information seeking and too…
Phips · Kit
Upscales low-resolution images with a super-resolution network that trains on one consumer GPU and exports to ONNX. For people who train or run image upscalers.
Bearisbug · Kit
Sends messages between coding agent sessions, so a question from one agent lands inside another's running session, on your computers or a teammate's. For devel…
AgenticResourceRegistry · Kit
Keeps a team's coding agent skills, hooks, prompts and agent files in one self-hosted registry, with review of new entries and usage insight. Suits engineering…
emanuele-em · Kit
Runs a kanban board in your browser and an MCP server from one small program, so you and your coding agents share one task list. It needs no account and no ser…