redhat-et / ripwire

The ripgrep of AI context: a zero-dependency C++23 CLI + MCP server for coding agents. Find what you want without reading the repo, then check you built what you meant — blast radius, tests-to-run, quality deltas. Signatures at 74.7% fewer bytes than bodies; every guess labelled, every loss published. Paddle out with a map.

ycm-core / ycmd

A code-completion & code-comprehension server

Ericsson / CodeCompass

CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.