


The easiest, and most secure way to access and protect all of your infrastructure.

SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong…

Compiles source code into auditable, signed APK packages using declarative pipelines for Wolfi/Alpine, with multi-architecture QEMU emulation and…

This puppet module provides numerous security-related configurations, providing all-round base protection.

This chef cookbook provides secure ssh-client and ssh-server configurations.

Automated static code analysis framework integrated with SonarQube for early vulnerability detection in source code by scanning Git repositories…

Firecracker made simple. Spin up secure microVMs in milliseconds, from install to interactive shell in one command.

Instant, Concurrent, Secure & Lightweight Sandbox for AI Agents.

A Modern Orchestration Engine for Security

Agent-less vulnerability scanner for Linux, FreeBSD, Container, WordPress, Programming language libraries, Network devices

This Ansible collection provides battle tested hardening for Linux, SSH, nginx, MySQL

InSpec-based compliance profile for auditing Linux system hardening against security baselines, ensuring consistent configuration across…

A horizontally scalable Direct Server Return layer 4 load balancer for Linux using XDP/eBPF

Detection script for CVE-2026-31431 (Copy Fail) that checks kernel version, patch presence, kernel configs, AF_ALG socket availability, setuid…

A deterministic network sandbox for testing nftables rules. It uses ephemeral Linux network namespaces (netns) and Scapy to validate firewall logic…

Zero-downtime Linux kernel zero-day defense case study. For the automated CLI and dual-witness notary framework, see mc493/kshield.

Fast, auditable Linux mitigation for CVE-2026-31431 Copy Fail: algif_aead block, verification, and AF_ALG seccomp hardening.