My personal Claude Code configuration
Distribution TN 365 KDE moderne et stable !
A fast, local neural text to speech system
Fine-tuning ChatGLM-6B with PEFT
Open-source code agent designed for Lean 4
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