tensor.art 是一個專注于人工智能和機器學習領域的公司，提供包括算法開發、模型訓練和數據分析在內的專業服務，旨在通過技術創新推動行業進步。

Imandra Inc. 是一家專注于提供邏輯推理服務的人工智能公司。公司主營業務包括通過自動化邏輯推理技術，幫助用戶將大型語言模型（LLM）的思考轉化為邏輯表達，以消除推理中的幻覺、增加信任并展示合規性，以及擴展推理的深度。Imandra 的技術被應用于金融、法律、軍事等多個領域，旨在通過精確的審計推理，將不透明的模型轉化為透明的模型，讓用戶和開發者能夠清晰地看到響應中涉及的假設和結論。

BOMML是一家提供全方位AI服務的公司，專注于將人工智能技術應用于企業工作流程。我們提供從數據收集到模型部署的全程支持，并確保AI模型在加密的數據中心云上運行，保護客戶數據隱私。我們的服務涵蓋文本生成、對話聊天、嵌入、控制、分析、光學字符識別等多任務AI應用，并支持通過API輕松集成到各種技術棧的應用程序中。BOMML還提供競爭性定價，用戶只需為使用的服務付費，同時支持模型的微調和訓練，以及提供本地部署解決方案。

Plandex 是一個開源的基于終端的人工智能編碼引擎，專為復雜的多文件實際任務設計。它通過提供上下文管理、長時運行代理、代碼審查和修訂等功能，幫助工程師在嚴肅的項目中高效地使用生成性人工智能。Plandex 強調在開發者控制和AI自主性之間找到平衡點，專注于AI能提供最大價值的領域，同時在其他方面給予開發者充分的控制權。