{"id":"c9590bd6-e17a-4a3f-8a61-767db51aee3a","slug":"hf-model-richarderkhov-cassanof-deepseek-7b-dafny-8bits-keg6jx-1c","name":"cassanof_-_deepseek-7b-dafny-8bits","description":"Hugging Face model RichardErkhov/cassanof_-_deepseek-7b-dafny-8bits. 27 downloads.","capabilities":["safetensors","llama","8-bit","bitsandbytes"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:54.271Z"}