Open-source code agent designed for Lean 4
Specialized web-based tool
Small 3B-base multimodal model ideal for custom AI on edge hardware
Freeciv for massive multiplayer, daylong turns
Solve Differential Equations
Elite typing engine with fatigue-aware analytics for professionals.
Large-scale xAI model for local inference with SGLang, Grok-2.5
Efficient multimodal MoE model for coding, tools, and reasoning
Omnimodal AI model for agents, coding, and long-context tasks
JetBrains’ 4B parameter code model for completions
Speculative-decoding accelerator for the 675B Mistral Large 3
Security testing tool for CakePHP based web applications
Versatile 8B-base multimodal LLM, flexible foundation for custom AI
Powerful 14B-base multimodal model — flexible base for fine-tuning