Local implementation
Bounded searches and reproducible problems in declared supported environments.
Support across unfamiliar agent workflows is not yet established. No independent qualification claim.
Alpha releaseDownload Geometer
The Mac app and CLI run locally and do not need an account. Run a supported agent workflow, find where it can break your rules and keep the check for the next release.
Newest first. To install, see Install below or the install guide.
Needs Docker. The first check downloads a few hundred megabytes.
This release on GitHubSHA256SUMSCheck your downloadAll releases
| Download | Platform | Size | Signing |
|---|---|---|---|
Geometer app · Geometer-0.1.0-alpha.2-macos-arm64.dmgSHA-256 dda89d3d2c808c4014bac58c205c8cf3163e00cca1ee5b4565e03b636b30f967 | macOS, Apple silicon | 54.3 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.2-macos-arm64.tar.gzSHA-256 9140eb0935e3ebacc9e2e725224afa2390f8183bd6b46cd7c2f96a3cac315fd0 | macOS, Apple silicon | 28.5 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.2-linux-x86_64.tar.gzSHA-256 ede62b767136743857e23a0560aea5e207a117a3c6085fcc6be2ca295e43e355 | Linux x86_64 | 28.9 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.2-linux-aarch64.tar.gzSHA-256 3ab38a9e663b4b25b25ccb493aed96ebd4871f8b0fa203dc04e913b6beb06cc5 | Linux arm64 | 26.5 MB | Not signed (alpha) |
| Download | Platform | Size | Signing |
|---|---|---|---|
Geometer app · Geometer-0.1.0-alpha.1-macos-arm64.dmgSHA-256 7fb98f931ebfc428de1d6a059eea32b3e3d5f5b61fd981c7b0238bb48128ba91 | macOS, Apple silicon | 27.9 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.1-macos-arm64.tar.gzSHA-256 612a8f6fffd07654994ff1b6354474c354962ebc2137cd6e75e3630c718ceb3d | macOS, Apple silicon | 23.4 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.1-linux-x86_64.tar.gzSHA-256 c50c2c668ce17b8377d06e2d7f39c63f84595bdfd3403eff1258ca7b2a0f6ee6 | Linux x86_64 | 23.8 MB | Not signed (alpha) |
geo (terminal) · geo-0.1.0-alpha.1-linux-aarch64.tar.gzSHA-256 975787c1fa5908367028e22d480eeca6babe8e4c7be773199a8c370e8f9d5bb8 | Linux arm64 | 21.7 MB | Not signed (alpha) |
A matching SHA-256 digest shows the file is the one published, unchanged. Download SHA256SUMS into the same folder as the file, then:
shasum -a 256 -c SHA256SUMS --ignore-missingsha256sum -c SHA256SUMS --ignore-missingshasum -a 256 Geometer-0.1.0-alpha.2-macos-arm64.dmgEach line should end in OK. This alpha is not signed by Apple, so the digest is how you know what you have.
Or in Terminal:
xattr -dr com.apple.quarantine /Applications/Geometer.appcurl -fsSL https://geometer.dev/install.sh | shIt picks the build for your computer, checks its SHA-256 and installs geo for your user, with no administrator rights. Read the script. Then geo open opens the workspace in your browser.
docker run --rm --network host \
-v /var/run/docker.sock:/var/run/docker.sock \
-v "$PWD:$PWD" -w "$PWD" \
ghcr.io/geometerlabs/geo:0.1.0-alpha.2 ciRuns your kept checks. The exit code says whether one broke.
Say “check my agent with Geometer” in Claude Code or Cursor. You get a three-line answer and a link to the board, and you confirm anything that changes your project. It runs on your machine, with no account. How to use it
Claude Code (geo mcp install --client claude-code prints this):
claude mcp add --scope user geometer -- /path/to/geo mcp serveCursor (geo mcp install --client cursor prints this), in ~/.cursor/mcp.json:
{
"mcpServers": {
"geometer": { "command": "/path/to/geo", "args": ["mcp", "serve"] }
}
}.geometer/regressions/.A bug, an install problem or a project where Geometer missed something? Open an issue. Your reports decide what we fix first.
Open an issue Stuck? Book 20 minutesUse is under the alpha terms.
Inspectable verification
The verifier and the schemas of the records it reads are open source under Apache-2.0. Build it and check any pack or certificate Geometer gives you. It checks integrity, not whether a certificate is right.
Open the verifier repositoryRust 1.96.1. The browser verifier on /verify uses an earlier snapshot: its source and SHA-256 checksums.
git clone https://github.com/GeometerLabs/geometer-verify
cd geometer-verify
cargo build --locked --release -p geo-verify
./target/release/geo-verify PACK.json \
--anchor ANCHOR.json --jsonBounded searches and reproducible problems in declared supported environments.
Support across unfamiliar agent workflows is not yet established. No independent qualification claim.
Alpha releaseDecisions before dispatch for specifically tested rule and tool connections.
Single-machine evidence does not establish provider or production readiness. Unsupported boundaries remain outside control.
Alpha: development and stagingHash-linked records, retained anchors and evidence-pack verification.
Integrity does not establish observation completeness or truth. Certificate issuance and lifecycle verification are still in development.
Alpha release