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.3.1

    1. source

      1. 0.3.1 source November 02, 2026 (69 KB)
  2. 0.3.0

    1. source

      1. 0.3.0 source October 30, 2026 (69 KB)
  3. 0.2.0

    1. source

      1. 0.2.0 source October 29, 2026 (68.5 KB)
  4. 0.1.0

    1. source

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

Pushed by

logout

SHA 256 checksum

← Previous version