HOL Guard Files

Open-source antivirus for AI agents

This is an exact mirror of the HOL Guard project, hosted at https://github.com/hashgraph-online/hol-guard. SourceForge is not affiliated with HOL Guard.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
v3.4.5	< 7 hours ago	0
v3.4.4	< 8 hours ago	0
v3.4.3	< 9 hours ago	0
v3.4.2	< 22 hours ago	0
v3.4.1	2026-09-22	1
Totals: 5 Items		1

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

OpenMausBot
Open Source Alternative to Grok Bot with a virtual machine
HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
Ogame TP-GUARD
TP-Guard is a Helper-Program for Ogame. It reads the Galaxy and scans for Attacks and saves the fleet. Some other build-in Utilitys like Syncronise Server Clock, read statistics and many more.
Munder Difflin
local multi-agent harness
GitHub Agentic Workflows
GitHub Agentic Workflows