← Back to List
⚠
Notice:This resource is provided by a third-party author. Please review the code with AI tools or manually before use to ensure security and compatibility.
Rusth5i-dev/h5i

h5i

An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.

82.3/100
★ 673Forks: 66
View on GitHub →Homepage →
Loading report...

Similar Projects

nono

84

agent runtime security - zero trust, zero setup, zero latency micro sandboxes

Rust★ 4.3K

zerostack

82

Lightweight coding agent written in Rust, optimized for memory footprint and performance

Rust★ 1.7K

NeuroSploit

83

NeuroSploit is an advanced, AI-powered penetration testing framework designed to automate and augment various aspects of offensive security operations.

Rust★ 1.4K

claudecode

47

Open Source ClaudeCode Leaked. Same functionalities as Claude Code by Anthropic. Written in Rust, Ready to use immediately for free.

Rust★ 1.2K
← Back to List