hyperpolymath/hypatia

Neurosymbolic CI/CD governance scanner for a ~400-repo estate: rule-based detection with Bayesian confidence gating, safety-triangle remediation (eliminate > substitute > control), SARIF output and machine-checked proofs.

语言：Elixir · GitHub 星标：4 · Fork：0

话题：beam · compliance-automation · elixir · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · formal-verification · hyperpolymath

在 GitHub 上查看原仓库