Repository navigation
Releases
Releases · phongndo/alive2-mcp
v0.1.2
Changelog
Install
brew install phongndo/tap/alive2-mcp
mise use -g github:phongndo/alive2-mcp
go install github.com/phongndo/alive2-mcp@v0.1.2
nix profile add github:phongndo/alive2-mcp/v0.1.2
docker pull ghcr.io/phongndo/alive2-mcp:0.1.2Or download an archive below; checksums.txt lists their SHA-256 sums, and
gh attestation verify <archive> --repo phongndo/alive2-mcp checks where they were built.
v0.1.1
Changelog
Install
brew install phongndo/tap/alive2-mcp
mise use -g github:phongndo/alive2-mcp
go install github.com/phongndo/alive2-mcp@v0.1.1
nix profile add github:phongndo/alive2-mcp/v0.1.1
docker pull ghcr.io/phongndo/alive2-mcp:0.1.1Or download an archive below; checksums.txt lists their SHA-256 sums, and
gh attestation verify <archive> --repo phongndo/alive2-mcp checks where they were built.
v0.1.0
Changelog
- 601bd78: Remove Dependabot (phongndo me@phongndo.com)
- 6865535: Run the runner's own image in the release dry run (phongndo me@phongndo.com)
- 93bec59: Document the install routes (phongndo me@phongndo.com)
- 50a7481: Dry-run the release in CI (phongndo me@phongndo.com)
- c921b83: Publish releases from version tags and list them in the MCP Registry (phongndo me@phongndo.com)
- b2c81b9: Build release archives, images and the Homebrew formula (phongndo me@phongndo.com)
- ff334a2: Report the module version from go install builds (phongndo me@phongndo.com)
- af16277: Retry transient network failures (phongndo me@phongndo.com)
- ca61495: Report connectivity before the live API checks (phongndo me@phongndo.com)
- 4512cc1: Document usage and license under MIT (phongndo me@phongndo.com)
- f7c9e78: Run flake checks in CI and the live API weekly (phongndo me@phongndo.com)
- a0a959e: Build, test and lint with a Nix flake (phongndo me@phongndo.com)
- 9514206: Serve the checks over MCP and as a CLI (phongndo me@phongndo.com)
- 64aded8: Check IR transformations with Alive2 (phongndo me@phongndo.com)
Install
brew install phongndo/tap/alive2-mcp
mise use -g github:phongndo/alive2-mcp
go install github.com/phongndo/alive2-mcp@v0.1.0
nix profile add github:phongndo/alive2-mcp/v0.1.0
docker pull ghcr.io/phongndo/alive2-mcp:0.1.0Or download an archive below; checksums.txt lists their SHA-256 sums, and
gh attestation verify <archive> --repo phongndo/alive2-mcp checks where they were built.