Search Results for "call graph visualization"

...It ships as a single static binary for macOS, Linux, and Windows with no shared library dependencies. It also includes semantic search, BM25 search, graph visualization, auto-indexing, and cross-repository intelligence.

Graphify is a data visualization and transformation tool designed to convert structured or semi-structured data into graph-based representations, enabling better understanding of relationships and dependencies. It focuses on building visual models such as nodes and edges that represent entities and their connections, making complex datasets easier to interpret.

...It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines.

claude-devtools is an open-source desktop observability tool designed to provide deep visibility into Claude Code sessions by reconstructing execution activity directly from local session logs. Rather than acting as a wrapper or modifying Claude Code behavior, the application passively reads the logs stored in the user’s environment and rebuilds a structured, searchable timeline of what actually occurred during each session. The tool was created to address the loss of detail in the standard...