Sign in
← Back to search
github Not archived

h5i-dev/h5i

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

2 awesome lists

Quick read

Stars
678
Forks
66
Open issues
14
Commits
698

Activity and growth

Latest capture 2026-10-07 03:12

Stars · last 7 days
No history
Commits · last 7 days
No history
Stars since tracking
+227
Stored snapshots
4

Classification

Topics

#agentic-ai #agentic-workflow #ai-hacking #ai-safety #ai-security #browser-automation #bug-bounty #claude-code #ctf #ethical-hacking #formal-verification #hacking #lean4 #offensive-security #red-team #security #security-automaion #security-automation #theorem-proving #web-security

Technology stack

Axum React Vite

Metadata

Language
Rust
License
Apache-2.0
Default branch
main
Created
2026-03-11
First commit
2026-03-11
Last pushed
2026-10-07
GitHub updated
2026-10-07
Last synced
2026-10-07 03:12
Stack scanned
2026-10-07 03:12
Archived
No

Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.

Sign in to like h5i-dev/h5i
README Open website View on GitHub

AI development signals

2 paths

Agent instructions and tool configuration found in this repository.

Agent instructions

Claude Code

View paths

Growth history

Tracked growth

4 observed captures since 2026-07-07. Observed captures are shown by default.

Stars from first capture +227

Chart data

Observed captures only

Time horizon

All tracked data

Custom date range

Stars history

Observed snapshots

Commits history

Observed snapshots

Similar repositories

Nearest indexed repositories by embedding similarity.

Netis/heron

Agent and LLM API performance monitoring via network packet probe. Measures performance of OpenClaw, Claude, Codex, DeepAgents and more — deployed on the provider side, no SDK changes required.

103 stars
Rust 1 awesome list

aannoo/hcom

Let AI agents message, watch, and spawn each other across terminals. Claude Code, Codex, Antigravity CLI, Cursor CLI, OpenCode, Kilo, Pi, Kimi

573 stars
Rust 5 awesome lists

chaitanyagiri/munder-difflin

A local multi-agent harness that works with your existing Claude Code, Codex subscriptions, allows you to run an office of agents

7,616 stars
TypeScript 2 awesome lists

rotorstar/hitl-protocol

Open HTTP protocol for human decisions in AI agent workflows. Service-hosted reviews, structured approvals, selections and forms, with optional messenger actions.

11 stars
TypeScript 1 awesome list

tinyhumansai/openhuman

The fastest, cheapest, most efficient open-source agent harness. Run more than 500 agents on a $10 VPS.

42,121 stars
Rust 7 awesome lists

agentscope-ai/HiClaw

An open-source Collaborative Multi-Agent OS for transparent, human-in-the-loop task coordination via Matrix rooms.

4,923 stars
Go 2 awesome lists