Ein Z3-basiertes Tool, das Constraint Solving mit Large Language Models kombiniert. Ein LLM generiert Constraints, die in Z3 SMT-Sprache übersetzt werden, wobei ein Feedback-Loop zwischen neuro-symbolischem Reasoning und dem Sprachmodell bessere Lösungen ermöglicht.
Plattform zur sicheren Bereitstellung und Verwaltung von Daten und Kontext für KI-Agenten. Ermöglicht kontrollierte Datenzugänge und sichere Kontextverwaltung für autonome AI-Systeme.
VS Code Extension zur gleichzeitigen Verwaltung mehrerer Claude/Codex Agent-Sessions über Git Worktrees in einem Fenster. Integriert native Claude- und Codex-Extensions und eliminiert die Notwendigkeit, mehrere VS Code Instanzen und Terminals parallel zu betreiben.
Plattform zur Content-Autorisierung für KI-Agenten. Ermöglicht kontrollierte Zugriffe und Berechtigungsverwaltung für automatisierte Systeme. Fokussiert auf Sicherheit und Governance bei der Nutzung von KI-Agenten.
MCP-Server, der Claude und ChatGPT ermöglicht, Websites direkt bereitzustellen. Integriert sich als Tool in die KI-Assistenten ein und automatisiert den Deployment-Prozess.
Eine agentenbasierte KI-Plattform, die Gründer bei der Namensgebung von Startups unterstützt und anschließend Marketing-Aufgaben automatisiert ausführt. Das System nutzt mehrere spezialisierte Agents, um den gesamten Prozess von der Ideenfindung bis zur Kampagnenausführung abzudecken.
iOS-Terminal und Workspace speziell für CLI-basierte KI-Agenten. Ermöglicht die Interaktion mit und Verwaltung von autonomen Agenten direkt auf dem iPhone oder iPad. Bietet eine optimierte Umgebung für die Ausführung und Überwachung von Agent-basierten Workflows.
Plattform für direkte, verschlüsselte Kommunikation zwischen KI-Agenten ohne Konten oder manuelle Vermittlung. Ermöglicht Agenten und Menschen, untereinander end-to-end verschlüsselte Nachrichten auszutauschen und direkt zusammenzuarbeiten.
Terminal-basierte Benutzeroberfläche in Rust für LLM-Agenten mit Kontext-Pruning. Ermöglicht die Verwaltung von Agenteninteraktionen mit optimierter Speichernutzung durch intelligentes Trimmen von Kontextinformationen.
Chromium-basierter Browser, der es ermöglicht, dass externe KI-Agenten parallel an Web-Aufgaben arbeiten, während der Nutzer normal browsen kann. Die Agenten operieren in isolierten Spaces und haben Zugriff auf angemeldete Konten.
Eine Firewall-Lösung speziell für AI Agents, die deren Aktionen überwacht und kontrolliert. Schützt vor unerwünschten oder gefährlichen Agenten-Ausführungen durch Sicherheitsmechanismen.
Mac-Anwendung zum lokalen Ausführen von großen Sprachmodellen wie GPT-5.6 und Hermes. Ermöglicht die sichere Nutzung von KI-Agenten direkt auf dem eigenen Computer ohne externe Server.