Search Results for "class code generator"
Sort By:
Showing 2 open source projects for "class code generator"
View related business solutions-
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.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
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. ... -
2
Orbi
Issue-to-release coding agent with independent PR review
Orbi takes a GitHub Issue from label to release. When an Issue is marked ai-ready, Orbi builds the change in a dedicated worktree and opens a pull request. A reviewer agent, separate from the one that wrote the code, compares the PR with the Issue's acceptance criteria and repairs it. Orbi then merges only that reviewed head and publishes a tagged GitHub release. It is installed from the GitHub repo, with the CLI on PyPI as orbi-cli and Docker images on GHCR and Docker Hub, and can also be...
- Previous
- You're on page 1
- Next
