---
title: ProofTools
colorFrom: green
colorTo: gray
sdk: static
pinned: false
models:
  - prooftools/airforge-tool-hygiene-gpt-oss-20b-v6
datasets:
  - prooftools/airforge-tool-output-safety-eval
tags:
  - prompt-injection
  - lora
  - vllm
  - private-ai
short_description: Behavioral hardening for tool-connected private AI
---

<div class="grid lg:grid-cols-5 gap-x-8 gap-y-8">
  <section class="lg:col-span-3">
    <div class="flex items-center justify-between mb-10">
      <a href="https://prooftools.ai" class="flex items-center font-bold no-underline">
        <span class="inline-flex items-center justify-center w-9 h-9 mr-3 bg-gray-900 text-white text-xs font-bold">PT</span>
        <span class="text-lg">ProofTools</span>
      </a>
      <span class="font-mono text-xs text-gray-500">cleaned-v6</span>
    </div>
    <p class="mb-3 font-mono text-xs font-bold uppercase text-green-700">
      Behavioral hardening beyond detection and blocking
    </p>
    <h1 class="mb-5 text-4xl md:text-5xl font-bold leading-none text-gray-900 dark:text-white">
      Use safe facts.<br />Ignore embedded instructions.
    </h1>
    <p class="mb-6 text-lg leading-relaxed text-gray-600 dark:text-gray-300">
      Prompt-injection detectors and filters can miss novel, obfuscated, or
      context-dependent attacks. AirForge trains the next layer: safe model
      behavior after untrusted tool, MCP, RAG, or web content has already
      reached the context.
    </p>
    <div class="grid md:grid-cols-3 gap-3 mb-8 text-sm font-semibold">
      <div class="py-3 border-t border-gray-300">Continue the legitimate task</div>
      <div class="py-3 border-t border-gray-300">Ignore injected actions</div>
      <div class="py-3 border-t border-gray-300">Do not echo the payload</div>
    </div>
    <div class="flex flex-wrap gap-3">
      <a
        href="https://huggingface.co/prooftools/airforge-tool-hygiene-gpt-oss-20b-v6"
        class="inline-block px-4 py-3 border border-gray-900 font-bold no-underline rounded-lg"
      >Open the model</a>
      <a
        href="https://huggingface.co/datasets/prooftools/airforge-tool-output-safety-eval"
        class="inline-block px-4 py-3 border border-gray-300 font-bold no-underline rounded-lg"
      >Inspect the evaluation</a>
      <a
        href="https://airforge.prooftools.ai"
        class="inline-block px-4 py-3 border border-gray-300 font-bold no-underline rounded-lg"
      >View AirForge</a>
    </div>
  </section>
  <aside class="lg:col-span-2 p-6 border border-gray-300 rounded-lg border-t-4 border-yellow-400">
    <div class="flex items-center justify-between pb-5 mb-6 border-b border-gray-700 font-mono text-xs">
      <span>Published evidence</span>
      <strong class="text-green-700">PASS</strong>
    </div>
    <div class="pb-6 mb-4 border-b border-gray-700">
      <strong class="block font-mono text-5xl leading-none">6 / 6</strong>
      <span class="block mt-2 text-sm text-gray-600 dark:text-gray-300">scored gates passed</span>
    </div>
    <dl class="text-sm">
      <div class="flex justify-between py-3 border-b border-gray-700">
        <dt class="text-gray-600 dark:text-gray-300">Evaluation</dt><dd class="font-mono">600 probes</dd>
      </div>
      <div class="flex justify-between py-3 border-b border-gray-700">
        <dt class="text-gray-600 dark:text-gray-300">Artifact</dt><dd class="font-mono">Merged MXFP4</dd>
      </div>
      <div class="flex justify-between py-3 border-b border-gray-700">
        <dt class="text-gray-600 dark:text-gray-300">Runtime</dt><dd class="font-mono">vLLM validated</dd>
      </div>
      <div class="flex justify-between py-3 border-b border-gray-700">
        <dt class="text-gray-600 dark:text-gray-300">Adapter</dt><dd class="font-mono">Public PEFT</dd>
      </div>
    </dl>
    <p class="mt-6 pl-3 border-l-4 border-red-500 text-xs leading-relaxed text-gray-600 dark:text-gray-300">
      Defense in depth, not a replacement for authorization, validation,
      sandboxing, approvals, or audit controls. Runtime LoRA parity is not claimed.
    </p>
  </aside>
</div>