augure

https://github.com/log0u7/augure

Augure encodes exploitation technique selection as Datalog rules verified by arithmetic and SMT checks, ranked by Beta-bandit priors and planned by MCTS. Every decision is reproducible and explainable. Augure decides. It never executes.