Mistral-7B-Instruct-v0.3-GGUF

Mistral-7B-Instruct-v0.3-Q4_K_M — GGUF (scorecard)

Quantized from mistralai/Mistral-7B-Instruct-v0.3 by SmartTasks on 2026-07-14.

Why this conversion: Smaller, faster local/edge + agentic deployment via GGUF. Size saving: 69.8% vs original weights (HF param count, ~fp16) (this quant: Q4_K_M). Origin: https://huggingface.co/mistralai/Mistral-7B-Instruct-v0.3 · license: apache-2.0 · base: mistralai/Mistral-7B-v0.3 · arch: MistralForCausalLM Attribution: derived from mistralai/Mistral-7B-v0.3 — see the original repo for the authoritative license and model details.

Who this model is for

• Complexity band: L1 Layman → L5 Agentic
• For non-experts: handles up to L5 Agentic-level tasks in testing.
• For engineers/architects: see axis scores and invariants below.
• For agentic systems: machine-readable scorecard JSON is embedded at the bottom and shipped as scorecard.json.

Capability by tier

Capability by axis

Known-answer accuracy: 0.933 · Drift vs original: None

Speed — generation tok/s by device

Measured via llama-server; each GPU pinned separately. Per-GPU columns show newer vs older architecture side by side. Depends on your hardware and build.

File integrity & sizes (SHA-256)

Verify a download hasn't been tampered with. Linux/mac: sha256sum -c SHA256SUMS. Windows: Get-FileHash <file>.gguf -Algorithm SHA256.

Saving is vs original weights (HF param count, ~fp16) (13.5 GB). Smaller quants are faster but lower fidelity; larger quants are closer to full precision.

Validation invariants (IAIso)

Overall conformance: WARN (5 pass / 1 warn / 0 fail / 0 not evaluated)

First-party self-assessment produced by the SmartTasks/IAIso validation pipeline (capability, security, transparency). Not an independent certification.

Security assessment

This maps directly to the iaiso.security.posture invariant above (WARN). Values below are computed deterministically from the scan outputs — the same scan always yields the same verdict.

Partial (sampled) red-team. Ran probe families dan, promptinject — a focused subset, not garak's full ~40-module suite (which takes ~a day on one GPU). These families target the attack classes most relevant to an instruction-tuned coding model, so the result is a strong, representative indicator of behavioural robustness — though not an exhaustive certification.

Mean resistance: 37.6% (weak). Higher = the model resisted more attacks. Grades: strong ≥95, good ≥80, mixed ≥50, weak <50.

⚠️ Deployment note: this model was susceptible to one or more prompt-injection attack classes in testing (pass rate <50%). Like most instruction-tuned coding models, it should not be exposed to untrusted input in agent pipelines without external guardrails. This reflects the source model's safety tuning, not the quantization.

Sampled red-team (subset of garak probes); not an exhaustive sweep. Reproduce with security_scan.py + security_digest.py.

For agents

{
  "max_complexity_level": 5,
  "max_complexity_label": "L5 Agentic",
  "recommended_for": [
    "knowledge",
    "instruction_following",
    "reasoning",
    "coding",
    "structured_output",
    "long_context"
  ],
  "not_recommended_for": [],
  "size_saving_pct": 69.8
}

The full machine-readable scorecard is in scorecard.json (schema smarttasks.iaiso.model_scorecard/v1).

What this repo gives an agent builder

Unlike a bare GGUF re-upload, every file here is designed to be read programmatically before you drop the model into a loop:

• scorecard.json — capability tier + per-axis scores (instruction-following, reasoning, tool-calling, structured-output) so your orchestrator can gate on whether this model is strong enough for a given step, without you hand-testing it.
• Validation invariants — machine-readable pass/warn/fail records for security posture, transparency, and quantization fidelity. An agent platform can refuse to load a model whose invariants don't meet policy.
• SECURITY.md + red-team results — the model's measured resistance to prompt injection and jailbreaks, so you know its susceptibility before you expose it to untrusted input in an agent chain.
• SHA256SUMS — verify the exact weights you're running match what was tested.

This is the difference between "here's a quantized model" and "here's a model with a documented, checkable safety and capability profile for autonomous use."

Running Mistral-7B-Instruct-v0.3-Q4_K_M locally (LM Studio, Ollama, llama.cpp, vLLM)

These are GGUF quantizations of mistralai/Mistral-7B-Instruct-v0.3 for local inference. Download a single .gguf and load it in LM Studio, Ollama, llama.cpp / llama-server, KoboldCpp, text-generation-webui, or any llama.cpp-based runner — no Python or GPU cluster required. Pick a size from the compression table above: larger = closer to the original, smaller = less memory. Q4_K_M is the usual best balance.

Using Mistral-7B-Instruct-v0.3-Q4_K_M in agentic systems (tool calling, JSON mode)

Built for agent and function-calling workloads. In testing this model reaches L5 Agentic complexity and is strongest at: knowledge, instruction_following, reasoning, coding, structured_output, long_context. The repo ships a machine-readable scorecard.json with an agent_hint block (max complexity level, recommended tasks, size/VRAM) so an orchestrator can pick the right model automatically. Pair it with a governance layer (see below) for bounded, audited tool use.

For AI safety & security leaders

Every build in this repo ships with a first-party validation record: an OWASP-mapped security scan (ModelScan supply-chain + garak red-team), a transparency probe (topic-suppression / over-refusal / viewpoint-alignment), quantization fidelity (KL-divergence vs the original), and SHA-256 checksums for tamper verification. This is a documented self-assessment — not third-party certification — with every result included so your team can see exactly what was tested and independently verify the model and its checksums. Keywords: LLM security, model governance, agent safety, OWASP LLM Top 10, local/on-prem inference, supply-chain integrity.

---

About SmartTasks & IAIso

SmartTasks builds tooling for governed, agentic AI workflows. This model was converted and validated with the **SmartTasks GGUF

• MoE pipeline** — our proprietary conversion and validation system.

IAIso — governance for agent loops

IAIso is our open framework for bounding what an autonomous agent spends and touches, and proving it afterward. Three primitives: pressure-accumulation rate limiting (one scalar that rises with tokens, tool calls, and planning depth, and triggers an automatic safety release), ConsentScope (signed, scoped, expiring tokens gating sensitive operations), and structured audit (every state change emits a versioned event). It bounds a cooperating agent in-process; for adversarial containment bind it to an out-of-process anchor. (Framework 5.0 · SDK 0.2.0 · beta — you supply your own thresholds/coefficients for your workload.)

pip install iaiso   # Python SDK (the only published package today)

from iaiso import BoundedExecution, PressureConfig

with BoundedExecution.start(config=PressureConfig()) as execution:
    outcome = execution.record_tool_call(name="search", tokens=500)
    if outcome.name == "ESCALATED":
        ...  # request human review before the next expensive step

Go, Rust, Node/TypeScript, Java, C#, PHP, Swift and Ruby SDKs implement the same spec and live in the repo's core/ (build from source — not yet published to their registries). See the repo for conformance vectors and LIMITATIONS.md.