program-analysis

Local-first code navigation for large codebases. Parse, index, search, and understand millions of lines of code using structural and semantic retrieval.

RPCShield is a static analysis tool to detect dependency relations (fail-close/fail-open) between microservices.

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

Evidence-grounded agent protocol and harness for deconstructing legacy systems into reconstruction-ready, human-reviewed specifications.

Open-source Engineering Intelligence Platform for deterministic repository understanding, software architecture analysis, engineering knowledge, and extensible infrastructure that empowers developers and AI systems.

Go symbolic execution (Z3 SMT solver)

Local-first, evidence-bearing repository intelligence and machine graph engine

Local code archaeologist for legacy systems, tracing interactions across JSF/PrimeFaces, Java, JavaScript, SQL, and source code.