dumbtv
dumbtv takes the ads, screen tracking and update nags out of your Fire TV over ADB. No root, none of your apps touched, every step can be undone. Free and open source.
Pre-execution verification for AI agents. SATISFIED, UNSATISFIED, or UNKNOWN. Current release: v1.23.1.
Translation pending
SecurityC · PythonGitHub @kwdoug63OnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
Pre-execution authorization runtime for autonomous AI agents. An SMT decision procedure returns SATISFIED, UNSATISFIED, or UNKNOWN; anything short of SATISFIED fails closed at the kernel boundary via seccomp-BPF and seccomp user-notify. Patent-pending, MIT-licensed. Don't Trust. Verify.
Taken from the repository README
Loading the full README. The saved excerpt is shown below.
Deterministic pre-execution verification of AI agent actions, enforced at the kernel.
Reporting vulnerabilities: private vulnerability reporting or SECURITY.md. Do not open public issues.
VAREK decides whether an AI agent's planned actions are allowed before they
execute, and enforces that decision at the kernel boundary.Read the full README ↗The full README is unavailable right now. Read it at the original link. The saved excerpt is shown below.
Deterministic pre-execution verification of AI agent actions, enforced at the kernel.
Reporting vulnerabilities: private vulnerability reporting or SECURITY.md. Do not open public issues.
VAREK decides whether an AI agent's planned actions are allowed before they
execute, and enforces that decision at the kernel boundary.Read the full README ↗