The C API can be generated by building the project
cargo build
And look at ./target/debug/capi/libmicrovmi.h header.
./target/debug/capi/libmicrovmi.h