lmstudio-community

Devstral Small 2507 MLX 4bit

Chat

This receipt records checks for this exact file; it does not prove safety or that it will run on your device. Read the receipt

Model details
text generationLicense: apache-2.0SHA-256 recorded for 10 of 12 filessafetensors
Quick answer: compatibility and sources

Can I run Devstral-Small-2507-MLX-4bit on my computer?

It depends on your memory, processor, file format and runtime. A download is not confirmed by the current file evidence; inspect the file record before trying it. A file-size fit is an estimate, not a successful run or speed promise. Read the license before use.

Devstral-Small-2507-MLX-4bit is an open-weights language model for text generation. Model weights are learned parameters; a runtime loads them. A hosted file is an individual file Hugging Bay can serve. SHA-256 identifies exact file bytes. The availability date above applies to this file record, not the upstream metadata update date.

As of the recorded file availability check on .

Recorded SHA-256 for model-00001-of-00003.safetensors: 4d7e0e9904c600b1b6f3856ebdcf734b244b8294f7ec788b477035b3e818f3ea. Exact file evidence · Machine-readable source facts · Run evidence and any recorded receipts. A checksum fingerprints only the named file bytes; it does not prove safety, quality, a complete multi-file selection or a successful run.

Updated · Page-copy source revision 8871bab84e1cf80aea1686a944ec335078a6c036 · Source files: apps/web/lib/model-page-template.mjs, apps/web/lib/model-page-v3.mjs, apps/web/lib/aeo-page.mjs · Full revision record

Model metadata: As of at the model source. Popularity counters are source-reported, not measured by Hugging Bay. Availability checked .

Key facts

Catalog record
Summarizes upstream metadata; it is not itself a download or run receipt.
File evidence
Lists exact filenames, availability and any recorded SHA-256 for individual files.
Run evidence
Reports measured results only when a receipt exists for named file bytes and a setup; otherwise unmeasured.
Checksum scope
SHA-256 fingerprints one file’s bytes; it does not prove safety, quality or a multi-file bundle.

Evidence you can inspect (plain text)

  • This page’s quick answer names the file record for hf-model-lmstudio-community-devstral-small-2507-mlx-4bit.
  • Open /artifact/hf-model-lmstudio-community-devstral-small-2507-mlx-4bit/files for this exact filenames, availability and any recorded SHA-256.
  • Open /evidence/artifacts/hf-model-lmstudio-community-devstral-small-2507-mlx-4bit for run-readiness evidence tied to that record; absent receipts stay unmeasured.
  • Open /api/artifacts/hf-model-lmstudio-community-devstral-small-2507-mlx-4bit/card.md for machine-readable source facts (not a runtime test).
  • A matching checksum on this page fingerprints only the named bytes shown in file evidence.

Unmeasured states are stated explicitly; this page does not invent run scores or compatibility guarantees.

Which date applies to which fact

  • File availability check:
  • Committed page-copy sources:
  • Upstream model metadata: Dates on artifact records when shown; not implied by page-copy revision
  • Run receipts: Only on /evidence pages when recorded; otherwise unmeasured

Page-copy revision (Updated line above) identifies committed text sources, not upstream model edits or test outcomes.

Requirements and source record

Try browser chat with a small demo model (a separate model; device support is checked before loading).

lmstudio-community/Devstral-Small-2507-MLX-4bit

Content controls: not assessed.

The catalog lists this model for having conversations. Catalog sources: license, cardMetadata.license, baseModel, tags, task, cardMetadata.pipelineTag.

Download availability is being checked.

Hashes recorded. Date not recorded.

FileSizeSHA-256SourceDownload
Weights
model-00001-of-00003.safetensors5.29 GB
4d7e0e99…e818f3ea4d7e0e9904c600b1b6f3856ebdcf734b244b8294f7ec788b477035b3e818f3ea
Download availability is being checked.File metadata
model-00002-of-00003.safetensors5.31 GB
d5b1e7fc…4a5fed78d5b1e7fcbffcf798254b190ffb8906f1ef3805ae1e609400d822fbda4a5fed78
Download availability is being checked.File metadata
model-00003-of-00003.safetensors2.66 GB
edca8302…f6dae2beedca830202036c7f9281e1a5465167ac66c8978cdc465c262783a03cf6dae2be
Download availability is being checked.File metadata
Tokenizer & config
chat_template.jinja5.7 KB
dbbbd947…cd61f5e6dbbbd9479677462b107cf457bf2f00381d51138a5dcdf3eedf1b37b7cd61f5e6
Download availability is being checked.File metadata
config.json40.6 KB
b42c6825…b5f95829b42c682530340fd5a000031177ea60ae74a3f1ea2d889ee9ec571368b5f95829
Download availability is being checked.File metadata
generation_config.json133 bytes
945f5c9a…d432a7df945f5c9a6d9102f266b7df76ac835810f3b7a51928e55e5d809dea5ed432a7df
Download availability is being checked.File metadata
model.safetensors.index.json79.4 KB
cad69a67…62f71189cad69a67125bb3f092c22783b78da9d3ab9b8b89896bdff5bbdeeb3362f71189
Download availability is being checked.File metadata
special_tokens_map.json21.4 KB
eea95589…12146ac0eea95589f0339b15d91e77ae59d303331d81b46b9006a32f857a078312146ac0
Download availability is being checked.File metadata
tokenizer.json17.1 MB
23ad081f…0fef9da723ad081f384b2bdb3c97f6e5461dfce52c1174c7328854a55006988f0fef9da7
Download availability is being checked.File metadata
tokenizer_config.json205.9 KB
5b09a6e1…cc2b95655b09a6e1f03c4d8fc12399e9389b0f723131ab15310eacb26c998c98cc2b9565
Download availability is being checked.File metadata
Docs
.gitattributes1.57 KB—Download availability is being checked.File metadata
README.md2.68 KB—Download availability is being checked.File metadata

Check a download

In the folder where you saved chat_template.jinja, run:

macOS
shasum -a 256 -- 'chat_template.jinja'
Linux
sha256sum -- 'chat_template.jinja'
Windows
Get-FileHash -LiteralPath 'chat_template.jinja' -Algorithm SHA256

Compare the result with the recorded SHA-256.