The Arc Project

A Kotlin DSL and scripting framework for defining LLM-powered AI agent solutions.

Agent frameworks

Arc uses Kotlin DSL and Kotlin Scripting to define a language optimized for building LLM-powered AI agent solutions. Example projects in the repository demonstrate its use, including a Spring Boot project built on the Arc Agent Framework.

It is maintained under the Eclipse Foundation's lmos project umbrella, follows the REUSE licensing standard with per-file copyright and license information, and is developed under a public code of conduct.

It is licensed under the Apache License, Version 2.0, copyright Deutsche Telekom AG and contributors.

More in Agent frameworks

See all 902

Recurse
recurse.run
A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.
- Agent frameworks
ProofForge
shulgin.is-a.dev
An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.
- Agent frameworks
local-coder
github.com
Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.
- Coding agents
- Agent frameworks

More in Agent frameworks

Recurse

ProofForge

local-coder

Cookies