Search Results for "reasoning"
Sort By:
Showing 7 open source projects for "reasoning"
View related business solutions-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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. -
2
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. -
3
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. ... -
4
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... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
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. ... -
6
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. ... -
7
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.
- Previous
- You're on page 1
- Next