use dax_core::{claim::Claim, proof::Proof, service::Service};
use dax_service_forgejo::ForgejoService;
use dax_verifier::verify_claim_with_service;
pub fn main() -> () {
let claim = Claim::new("http://localhost:80/username/repo");
let proofs = vec![Proof::new(
"openpgp4fpr:1234567890123456789012345678901234567890",
)];
let service: Box<dyn Service> = Box::new(ForgejoService::new());
let result = verify_claim_with_service(&claim, &proofs, service.as_ref());
println!("Success: {}", result.unwrap_or_default().result);
}