{"id":"9074dd58-dd88-4b2b-862b-001aae177da2","slug":"hf-model-mradermacher-lean-conjecturer-v1-gguf-1597ymo-11","name":"Lean_conjecturer_v1-GGUF","description":"Hugging Face model mradermacher/Lean_conjecturer_v1-GGUF. Library: transformers. 152 downloads.","capabilities":["transformers","gguf","en","base_model:Slim205/Lean_conjecturer_v1","base_model:quantized:Slim205/Lean_conjecturer_v1","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":38,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:18.752Z"}