agentmods.dev

h5i-dev/h5i

Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.

This repository also configures its own agents. See what h5i tells them →

Open on GitHub h5i.dev
788Stars on the repository
3Mods indexed here, across every type
todayLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

h5i

01

h5i-dev/h5i

Skill Claude CodeCodex

Red-team a web application under authorization by driving pages, capturing the HTTP traffic that produced them, inventorying what the target exposes, and replaying mutated requests with auditable evidence. Also covers ordinary browsing and scraping, running untrusted or agent-written code inside disposable confined…

not rated 788 +25 changed 12d ago A SkillSpector: pass 83 tokens original Apache-2.0