flux-verify-api 0.1.1

Natural Language Verification API — prove or disprove claims with mathematical traces
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, Deserialize, Serialize)]
pub struct VerifyRequest {
    pub claim: String,
    #[serde(default = "default_domain")]
    pub domain: String,
    #[serde(default = "default_rigor")]
    pub rigor: String,
}

fn default_domain() -> String {
    "generic".into()
}

fn default_rigor() -> String {
    "standard".into()
}