Search Results for "python text editor"
Sort By:
Showing 2 open source projects for "python text editor"
View related business solutions-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
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.
-
1
Grok Build
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive
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. It also... -
2
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...
- Previous
- You're on page 1
- Next
