Search Results for "planner"
Sort By:
Showing 2 open source projects for "planner"
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.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
Codebuff
Generate code from the terminal!
Codebuff is an open-source AI coding assistant that helps developers modify and improve their codebases using natural language instructions. Instead of relying on a single model, it orchestrates multiple specialized agents that collaborate to understand, plan, edit, and review code changes. This multi-agent approach enables more accurate edits, better context awareness, and fewer errors across complex projects. Codebuff operates primarily through a CLI, allowing developers to interact with... -
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
