From e2755724632a80d664907098991dfe30c876fedf Mon Sep 17 00:00:00 2001
From: Hideaki Takahashi <koukyosyumei@hotmail.com>
Date: Fri, 23 Oct 2026 15:48:16 -0400
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a74e0c379..0e46c6553 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@
   <a href="https://github.com/h5i-dev/h5i/actions/workflows/test.yaml"><img alt="tests" src="https://github.com/h5i-dev/h5i/actions/workflows/test.yaml/badge.svg"></a>
   <a href="https://github.com/h5i-dev/h5i/stargazers"><img alt="GitHub stars" src="https://img.shields.io/github/stars/h5i-dev/h5i?style=social"></a>
   <a href="https://github.com/h5i-dev/h5i/releases"><img alt="release" src="https://img.shields.io/github/v/release/h5i-dev/h5i?label=release"></a>
-  <a href="https://crates.io/crates/h5i-app"><img alt="release" src="https://img.shields.io/crates/v/h5i-app"></a>
+  <a href="https://crates.io/crates/h5i-app-core"><img alt="release" src="https://img.shields.io/crates/v/h5i-app-core"></a>
 </p>
 
 **h5i** (pronounced *high-five*) is an Axum-based Rust web framework designed for formal verification with Lean 4 and optional GPU acceleration. It also provides integrated development infrastructure for browser automation, red-teaming, security regression testing, and sandboxed AI agents.