I can’t speak for the Go bindings, but using the Rust crate has been pretty clean. Haven’t really felt the need to dip into deserializing raw .scip file in the time that I’ve been working with SCIP.
Something something powers go to definition… is this an implementation of an LSP server? Or a subset of what’s needed to implement LSP? A formerly proprietary alternative to LSP?
Looks like it's defined using protocol buffers, with "rich Go and Rust bindings" and links to implementations for many other languages.
> Note on the name: SCIP is pronounced the same way as “skip” and it’s a recursive acronym that stands for “SCIP Code Intelligence Protocol.”
> SCIP is also a purposeful nod to SICP (Structure and Interpretation of Programs), a book about analyzing programs.
https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20...
https://en.wikipedia.org/wiki/Secure_Communications_Interope...
> https://www.scipopt.org/