The open source coding agent.
Browse cluster: Lean4 Formal Verification & Cryptography →Opencode is an open-source coding agent that executes development tasks within GitHub workflows and runners. The project is built with TypeScript and Bun, organized as a monorepo with multiple packages including a core agent (`packages/opencode`), a web application (`packages/app`), a GitHub Action integration, and various SDKs. The codebase uses Effect for functional programming patterns, Drizzle for database schemas, and SolidJS for the web UI. The material does not identify a specific author, company, or institution behind the project.