Search Results for "text based"

DeepSeek-TUI is a terminal-based user interface designed to interact with DeepSeek language models in a lightweight and efficient way. It provides a text-based chat experience directly within the command line, making it ideal for developers who prefer minimal interfaces. The tool supports streaming responses, allowing real-time interaction with the model. It includes features for managing prompts, sessions, and conversation history within the terminal environment. ...

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...

VTCode is a terminal-based AI coding agent designed to provide semantic code understanding and interactive assistance directly within a command-line environment. It is implemented in Rust and focuses on performance, portability, and deep integration with developer workflows that rely on terminal tools. The system leverages syntax-aware parsing technologies such as tree-sitter and AST-based analysis to understand code structure rather than relying solely on raw text, which enables more accurate and context-aware suggestions. ...

Grok Build is a terminal-based AI coding agent that operates through a full-screen text interface. It can inspect repositories, edit files, run shell commands, search the web, and coordinate longer development tasks. Users can work interactively, invoke it headlessly in scripts or CI, or connect it to editors through the Agent Client Protocol. The Rust codebase includes separate components for the interface, agent runtime, tools, workspace control, configuration, and sandboxing. ...

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.