{"id":"a22d30e4-0f57-42b5-8b8c-4b9b313526ae","slug":"hf-model-cassanof-deepseek-7b-dafny-cw473-q","name":"deepseek-7b-dafny","description":"Hugging Face model cassanof/deepseek-7b-dafny. Task: text generation. Library: transformers. 31 downloads.","capabilities":["transformers","safetensors","llama","text-generation","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:39.316Z"}