Search Results for "python text"

Google Antigravity SDK for Python is a Python library for building AI agents powered by Antigravity and Gemini. It provides a secure, scalable, and stateful infrastructure layer so developers can focus on agent behavior instead of manually implementing the full agent loop. The SDK includes a high-level Agent class for quick setup, as well as lower-level conversation and connection abstractions for more controlled workflows. It supports streaming responses, stateful sessions, custom Python...

PyGPT is a desktop application that allows you to talk to OpenAI's LLM models such as GPT4 and GPT3 using your own computer and OpenAI API. It allows you to talk in chat mode and in completion mode, as well as generate images using DALL-E 2. PyGPT also adds access to the Internet for GPT via Google Custom Search API and Wikipedia API and includes voice synthesis using Microsoft Azure Text-to-Speech API. Moreover, the application has implemented context memory support, context storage,...

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

windsurf.vim is a plugin for Vim and Neovim by Exafunction (formerly part of the Codeium project) that brings in AI-driven code completion and assistance capabilities. The aim is to provide a “free, ultrafast” alternative to other AI code assistants (such as GitHub Copilot) directly within Vim/Neovim. Once installed and configured, windsurf.vim can suggest code completions, generate multi-line snippets based on comments or invitation in code, and make the editing experience more predictive...

Qwen of Death is a desktop coding assistant with GUI powered by the Qwen API. Users supply their own API key — all billing is handled directly with Openrouter.ai.

Grok of Death is a desktop coding assistant with GUI powered by the Grok API. Users supply their own API key — all billing is handled directly with xAI.

Gemini of Death is a desktop coding assistant with GUI powered by the Googles Gemini API. Users supply their own API key — all billing is handled directly with Google.

GPT of Death is a desktop coding assistant with GUI powered by the OpenAI API. Users supply their own API key — all billing is handled directly with OpenAI.

Claude of Death is a desktop coding assistant with GUI powered by the Anthropic Claude API. Users supply their own API key — all billing is handled directly with Anthropic.