Search Results for "reasoning"
Sort By:
Showing 20 open source projects for "reasoning"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
SocratiCode
Enterprise-grade (40m+ LOC) codebase intelligence
...It encourages critical thinking by asking structured questions that lead developers toward discovering solutions on their own. The system is designed to improve understanding of programming concepts through iterative reasoning and dialogue. It can be used to practice coding challenges, debug logic, and explore design decisions in a guided manner. SocratiCode emphasizes learning through inquiry rather than passive consumption of solutions. It is particularly valuable for students and self-learners aiming to deepen conceptual understanding. The project reflects a pedagogical shift toward interactive and reflective coding education. -
2
Code World Model (CWM)
Research code artifacts for Code World Model (CWM)
...Inference scripts and utilities for code generation tasks. Evaluation benchmarks on code, mathematics, and reasoning tasks. Demos, serving code, and evaluation pipelines. -
3
claurst
Your favorite Terminal Coding Agent, now in Rust
claurst is an experimental AI agent framework that appears to focus on structured reasoning and task execution within coding or automation environments. The project likely explores how agents can be designed to handle complex workflows through modular components and clearly defined execution steps. It may include abstractions for managing context, decision-making, and interaction with external tools, enabling agents to perform multi-step tasks efficiently. -
4
TraceRoot
Find the Root Cause in Your Code's Trace
...Lightweight SDKs for Python and TypeScript enable seamless instrumentation using OpenTelemetry, with support for both self-hosted and cloud deployment. Human-in-the-loop interaction is central: developers can guide reasoning by selecting relevant spans or logs, then verify agent reasoning through traceable context. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Claude-Mem
Claude Code plugin that automatically captures everything Claude does
...It automatically captures Claude’s tool usage, observations, and decisions, then compresses them into semantic memories that carry forward into future sessions. By enabling long-term continuity, Claude-Mem helps Claude “remember” project history, past fixes, and prior reasoning even after restarts or reconnects. Its progressive disclosure approach intelligently injects only the most relevant context, balancing usefulness with token efficiency. Claude-Mem runs automatically in the background with no manual workflow changes required. Designed for serious developers, it transforms Claude Code into a continuously learning, project-aware coding assistant. -
6
Every Code
Local AI coding agent CLI with multi-agent orchestration tools
...Every Code also includes browser integration and automation capabilities, extending its usefulness beyond simple code generation into more complex development tasks. Customization is a key focus, with support for theming, configurable settings, and reasoning controls that allow developers to fine-tune how the agent behaves. -
7
OpenAI Codex CLI
Lightweight coding agent that runs in your terminal
OpenAI Codex CLI is a lightweight, open-source coding assistant that runs directly in your terminal, designed to bring ChatGPT-level reasoning to your code workflows. It allows developers to interactively query, edit, and generate code within their repositories, all while maintaining version control. The CLI can scaffold new files, run code in sandboxed environments, install dependencies, and commit changes automatically, streamlining chat-driven development. It supports various approval modes—from suggestion-only to full automation—ensuring safe and controlled code execution. ... -
8
Claude HUD
A Claude Code plugin that shows what's happening
...This plugin was designed to reduce cognitive load and make agentic workflows more transparent, helping developers diagnose stalled tasks, understand resource usage, and manage multi-step reasoning sequences more effectively. It installs with zero configuration and appears immediately in Claude Code, making it helpful for both newcomers and seasoned users who want better situational awareness without interrupting their workflow. -
9
Gemini CLI
Open source AI agent CLI tool to bring Gemini into your terminal
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... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Oh My OpenAgent
The best agent harness
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. ... -
11
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ... -
12
Sourcebot
Tool that helps humans and agents understand your codebase
...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. ... -
13
Gemma Chat
Local AI chat + coding agent for Apple Silicon, powered by Gemma 4
...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. The system integrates model selection and execution directly into the app, giving users control over performance and behavior. ... -
14
deepclaude
Use Claude Code's agent loop with DeepSeek V4 Pro, OpenRouter & more
...By swapping out the underlying model instead of the interface, deepclaude delivers the same familiar UX with significantly cheaper token pricing. The platform supports seamless backend switching in real time, allowing users to choose between cost efficiency and higher reasoning power when needed. It also includes built-in cost tracking and benchmarking tools to help developers monitor usage and optimize performance. Designed for flexibility and efficiency, deepclaude is ideal for developers who want powerful AI coding agents without the premium price tag. -
15
MiniMax-M2
MiniMax-M2, a model built for Max coding & agentic workflows
...Benchmarks show that it achieves highly competitive scores on a wide range of intelligence and agent benchmarks, including SWE-Bench variants, Terminal-Bench, BrowseComp, GAIA, and several long-context reasoning suites. -
16
Aide
The open source AI-native IDE
...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. With a modular architecture, Aide can run locally for privacy-sensitive work or connect to managed servers for collaborative environments. -
17
Ornith-1.0
Open reasoning model for agentic coding and tool workflows
Ornith-1.0 is a large open-source reasoning model from DeepReinforce, built for agentic coding, tool use, and complex software engineering workflows. It is part of the Ornith 1.0 family, which includes dense and MoE models post-trained on Gemma 4 and Qwen 3.5. The model focuses on coding-agent performance across benchmarks such as Terminal-Bench, SWE-Bench, NL2Repo, OpenClaw, and ClawEval. -
18
Leanstral
Open-source code agent designed for Lean 4
...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. ... -
19
LongCat-2.0
Trillion-parameter MoE model for coding and million-token reasoning
...LongCat-2.0 introduces LongCat Sparse Attention and extensive 1M-context training, enabling native processing of million-token inputs for long-document analysis, repository-scale coding, and complex multi-step reasoning. Dedicated post-training further strengthens coding and agent performance, producing competitive benchmark results against leading proprietary models. -
20
Kimi K2.7 Code
Coding-focused Kimi model for long-horizon agent workflows
...The model supports image and video input, native INT4 quantization, interleaved thinking, and multi-step tool calling. It also forces preserve-thinking mode by default, retaining full reasoning context across multi-turn interactions to improve coding-agent consistency. K2.7 Code is recommended for use through Kimi Code CLI and can be deployed with vLLM, SGLang, or KTransformers.
- Previous
- You're on page 1
- Next