Python

Modular scripts to take text, images, and links from RSS feeds and push to social media

The document of record on the internet for me.

https://ricardovalladares.gitlab.io/wasm/

mein mit git gemanagtes ansible repo

Exploratory tool to calculate and visualize instruction harness hierarchies.

caldera packaging for Kali Linux

Reusable algorithm and data structure templates for fast competitive programming practice in Python, C++, Java and other languages.

Cognitive exoskeleton for AI agents and human researchers — by Cognitive Functors. Turn questions into verified constructive & destructive insights: breakthrough scientific-engineering hypotheses checked across 47 literature sources, 38 simulation bridges, and 9 formal verifiers — then gated proposals, dissertations, BibTeX, and proofs you can publish. Not a chatbot — a research pipeline. pip install c4reqber · blast solve · Z₃³ · 21 MCP · AGPL-3.0.

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

I designed and published a professional focused on pipeline reusability, security, and code quality. The project demonstrates real-world DevOps practices such as semantic versioning, reusable CI components, secure container builds with Kaniko, and standardized linting for Python and Django applications. This initiative reflects my approach to building scalable, maintainable CI/CD architectures in enterprise environments.

Key Features:

Native GitLab CI/CD Components Semantic versioning with pinned releases No privileged runners required Enterprise-ready defaults Configurable inputs without pipeline duplication

Included Components:

Kaniko – Secure, daemonless container image builds Pylint – Python static analysis Pylint Django – Django-specific linting rules Flake8 – Python style and code quality checks DjLint – Django template linting and formatting Yamllint – YAML validation and formatting Pytest – Unit testing and code coverage ...

powershell-empire packaging for Kali Linux

a point and click web scraper with plugin support for scraping APIs. Written in Python and Go.

offsec-courses packaging for Kali Linux

Embed or extend the Python interpreter with Go

trufflehog packaging for Kali Linux

🛡️ K-Guard: Kubernetes Security Automation & Remediation (PoC)

K-Guard is a DevSecOps proof-of-concept focused on automating vulnerability lifecycle and active defense workflows within K3s clusters.

Vulnerability Remediation: Automated image patching workflows using K8s API patches triggered by Trivy scan results. Network Segregation: Policy-as-Code implementation (Ansible) for Ingress hardening and CIDR-based access control. SecOps Alerting: Real-time incident notification system leveraging Cisco Webex API for rapid response. Self-Healing Exploration: Detecting configuration drifts and applying automated state recovery.

🛡️ K-Guard : Pilotage de la Sécurité & Automatisation Kubernetes (MVP)

K-Guard est un outil d'expérimentation DevSecOps conçu pour automatiser les workflows de détection et de remédiation sur clusters K3s. Il explore l'implémentation de la défense active via l'API Kubernetes.

Points Techniques Clés

Vulnerability Management : Pipeline de scan continu (Trivy) avec déclenchement de correctifs via Strategic Merge Patch sur les Deployments. Hardening Réseau : Automatisation de Network Policies (Ansible) pour l'isolation des flux Ingress (filtrage IPs Cloudflare / RFC 1918). Incident Response (IR) : Système d'alerte ChatOps via l'API Cisco Webex pour la notification en temps réel des failles critiques détectées. Infrastructure-as-Code : Logique de remédiation et de déploiement orchestrée via GitLab CI/CD et scripts d'automation (Python/Go).

My solutions for Advent of Code 2020

Early-stage open-source web service for discovering song lyrics and automatic translation using ML.

CertsNStatus — monitor SSL certificate expiry and HTTP status for your endpoints