Powerful 14B LLM with strong instruction and long-text handling
Stable fine-tuned Gemma model for structured, clear responses
Hermes 4 FP8: hybrid reasoning Llama-3.1-405B model by Nous Research
Llama 3.2–1B: Multilingual, instruction-tuned model for mobile AI
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Compact 8B multimodal instruct model optimized for edge deployment
Agentic coding model combining Opus reasoning and Fable tools