Hi,
the syntax of SPARQL functions defined using SHACL is described at
https://w3c.github.io/shacl/shacl-af/#functions-example
I am not sure what you mean with "verify a graph", but I guess you could
try to formulate that condition in the sh:select, or (in your case of
boolean results) using sh:ask?
Holger