{"id":"83a209a5-fc61-48c2-9877-a5a803241e29","slug":"hf-model-metareflection-dafny-annotator-modular-vfp-4b-1ffem6i-19","name":"dafny-annotator-modular-vfp-4B","description":"Hugging Face model metareflection/dafny-annotator-modular-vfp-4B. Task: text generation. Library: mlx. 26 downloads.","capabilities":["mlx","safetensors","qwen3","text-generation","conversational","en"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:03.408Z"}