Open Source Licenses

Contral IDE, the Contral VS Code extension, and the website at contral.ai are proprietary, closed-source software owned by Contral AI. We do not publish their source code. This page credits the third-party open source libraries that we depend on and the licenses under which we use them.

About Contral

Contral IDE is a fork of Eclipse Theia, the open-source IDE platform. We use Theia's editor shell, extension system, workspace, terminal, and language-server infrastructure as our foundation, and we comply with the terms of the EPL 2.0 / GPL 2.0 with Classpath Exception licenses Theia ships under. Our additions on top of Theia — the teaching engine, the agent modes, the Java curriculum, the website, and the backend — are proprietary and closed source. We are not currently accepting external pull requests and there is no public source repository for the parts of Contral that we authored.

Libraries we depend on

• Eclipse Theia

  EPL 2.0 or GPL-2.0-only with Classpath Exception

  The IDE platform Contral IDE is forked from. Theia provides the editor shell, extension system, workspace, terminal, debug protocol integration, and language-server plumbing. Contral's modes (Build / Plan / Deep / Recursive), teaching engine, and curriculum surfaces are built on top of it.

  License text

• Monaco Editor

  MIT License

  The code editor that powers every editor view inside the IDE.

  License text

• Firebase

  Apache License 2.0

  Authentication, Firestore database, and analytics on contral.ai.

  License text

• Next.js

  MIT License

  React framework powering contral.ai.

  License text

• React

  MIT License

  Declarative UI library used by the website and IDE shell.

  License text

• Radix UI

  MIT License

  Accessible, unstyled UI primitives used across the marketing site.

  License text

• Tailwind CSS

  MIT License

  Utility-first CSS framework powering the site styling.

  License text

• Framer Motion

  MIT License

  Animations and transitions across the marketing surfaces.

  License text

• Lucide React

  ISC License

  Iconography across the site and product surfaces.

  License text

Trademarks

All third-party names, marks, and logos are the property of their respective owners. Their appearance on this page is for attribution and does not imply endorsement.

Reporting a missing credit

If you believe an open source library is missing from this page, email contact@contral.ai and we will update the list.