Search Results for "reasoning models"

CWM (Code World Model) is a 32-billion-parameter open-weights language model. It is developed by Meta for enhancing code generation and reasoning about programs. It is explicitly trained on execution traces, action-observation trajectories, and agentic interactions in controlled environments. It has been developed to better capture how code, actions, and state interact over time. The repository provides inference code, reproducibility scripts, prompt guides, and more. It has model cards,...

Gemma Chat is a local-first AI chat and coding assistant designed to run fully on-device, particularly optimized for Apple Silicon machines. It leverages Google’s Gemma family of lightweight language models, which are built on the same underlying technology as Gemini and designed for efficient local inference and reasoning tasks. The project enables users to interact with AI through a chat interface while also supporting code generation and editing workflows. It emphasizes privacy and independence by avoiding cloud dependencies, allowing all interactions and data to remain local. ...

Oh My OpenAgent is a large-scale, open-source agent orchestration framework that aims to provide a fully unified and extensible environment for AI-powered software development and automation. It builds on the idea that no single model is sufficient, instead enabling coordinated use of multiple models for reasoning, creativity, speed, and cost efficiency within a single workflow. The system is designed as a comprehensive agent harness where tasks are automatically decomposed, delegated, and executed across a network of specialized agents. It emphasizes openness and flexibility, allowing developers to integrate different providers and avoid dependency on any single ecosystem or vendor. ...

...It allows users to ask complex questions about their repositories and receive structured answers grounded in actual code references. The system combines fast code search with reasoning models, enabling it to traverse dependencies, follow references, and generate contextual explanations. It supports indexing multiple repositories across different platforms, making it useful for organizations with distributed codebases. Sourcebot also includes features like IDE-level navigation, file exploration, and syntax-aware search, improving developer productivity. ...

MiniMax-M2 is an open-weight large language model designed specifically for high-end coding and agentic workflows while staying compact and efficient. It uses a Mixture-of-Experts (MoE) architecture with 230 billion total parameters but only 10 billion activated per token, giving it the behavior of a very large model at a fraction of the runtime cost. The model is tuned for end-to-end developer flows such as multi-file edits, compile–run–fix loops, and test-validated repairs across real...

Gemini CLI is an open‑source AI agent that brings the capabilities of Google’s Gemini 2.5 Pro large‑language model directly into your terminal, enabling tasks ranging from coding and debugging to content creation and research via natural‑language prompts, with support for multimodal outputs like image and video generation. Gemini CLI integrates with external tools and MCP servers, enabling media generation and enhanced workflow automation. It also includes a built-in Google Search tool to...

...Built to act as a full-stack collaborator, it understands multi-file projects, detects dependency relationships, and can generate consistent updates across files and frameworks. It supports multiple backends—including OpenAI, Anthropic, and open-source models—and can route requests based on task type or latency requirements. Aide stores context efficiently, caching embeddings of codebases to accelerate reasoning and maintain memory across sessions. Developers can query Aide for explanations, generate docstrings, fix bugs, or scaffold full modules, all while preserving project structure. ...

...The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. It leverages modern large-scale architectures, likely incorporating mixture-of-experts techniques, to balance efficiency and capability while handling structured symbolic reasoning tasks. ...