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.

Required Ruby Version

>= 3.4

Authors

Gregory Epp

Versions

  1. 0.1.0

    1. source

      1. 0.1.0 source October 12, 2026 (67.5 KB)

Pushed by

logout

SHA 256 checksum