Open Source Linux Debuggers

BotKube is a messaging bot for monitoring and debugging Kubernetes clusters. It's built and maintained by InfraCloud. BotKube can be integrated with multiple messaging platforms like - Slack, Mattermost, Microsoft Teams to help you monitor your Kubernetes cluster(s), debug critical deployments and gives recommendations for standard practices by running checks on the Kubernetes resources. BotKube watches Kubernetes resources and sends a notification to the channel if any event occurs for example a ImagePullBackOff error. You can customize the objects and level of events you want to get from the Kubernetes cluster. You can turn on/off notifications simply by sending a message to @BotKube. BotKube can execute kubectl commands on Kubernetes cluster without giving access to Kubeconfig or underlying infrastructure. With BotKube you can debug your deployment, services or anything about your cluster right from your messaging window.

TraceRoot.AI is an open source, AI-native observability and debugging platform designed to help engineering teams resolve production issues faster. It consolidates telemetry into a single correlated execution tree that provides causal context for failures. AI agents operate over this structured view to summarize issues, pinpoint likely root causes, and even suggest actionable fixes or draft GitHub issues and pull requests. It offers interactive trace exploration with zoomable log clusters, span and latency views, and code-linked insights. Lightweight SDKs for Python and TypeScript enable seamless instrumentation using OpenTelemetry, with support for both self-hosted and cloud deployment. Human-in-the-loop interaction is central: developers can guide reasoning by selecting relevant spans or logs, then verify agent reasoning through traceable context.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

ASTRA is an implementation of AgentSpeak(TR) that has built in support for the CArTaGo and EIS environment models. Support for conversation management is provided in the form of the ACRE conversation manager.

FlowLens MCP Server is an open-source tool designed to give AI-powered coding agents (like Claude Code, Cursor, GitHub Copilot / Codex, and others) full, replayable browser context to dramatically improve debugging, bug reporting, and regression testing for web applications. It works together with a companion browser extension: when a user reproduces a bug or a complicated UI interaction, the extension captures a rich session log, including screen/video recording, network traffic, console logs, DOM events, storage changes, and more, and exports it. The MCP server then loads this captured “flow” and exposes it to the AI agent via the Model Context Protocol (MCP), letting the agent examine, search, filter, and reason about the session just as a human developer would, without needing the agent to re-run the flow or rely on minimal reproduction data (logs, screenshots).

The Language Processing Agency provides agents and an agent-oriented infrastructure for developing language processors in .NET. Typical language processors are transformation tools, extraction tools, language interpreters, etc.

Distributed logging service for JADE agent framework, utilizing features of Log4j and Chainsaw projects.

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

Existing libraries implement automatic differentiation by tracing a program's execution (at runtime, like PyTorch) or by staging out a dynamic data-flow graph and then differentiating the graph (ahead-of-time, like TensorFlow). In contrast, Tangent performs ahead-of-time autodiff on the Python source code itself, and produces Python source code as its output. Tangent fills a unique location in the space of machine learning tools. As a result, you can finally read your automatic derivative code just like the rest of your program. Tangent is useful to researchers and students who not only want to write their models in Python, but also read and debug automatically-generated derivative code without sacrificing speed and flexibility. Tangent works on a large and growing subset of Python, provides extra autodiff features other Python ML libraries don't have, has reasonable performance, and is compatible with TensorFlow and NumPy.

Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.