verify-atom
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| VRF_BASE_URL | No | Base URL for Verify-Atom verification service | https://asheraistudios.duckdns.org |
| PYTHONUNBUFFERED | No | Disable Python output buffering | 1 |
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| verify_urlA | Observe a public web page and return a cryptographically signed proof packet: HTTP status, page title, body SHA-256, DNS resolution, and TLS certificate details, timestamped and Ed25519-signed. Use when you need verifiable evidence of what a webpage contained — e.g. to back a claim with proof instead of asking to be trusted. Anyone can independently verify the packet's signature against the service's published public key. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 1 tool
With only one tool, there is no possibility of confusion or misselection. The tool's purpose is clear and distinct.
The single tool follows a clear verb_noun pattern (verify_url) in snake_case. While trivial, it is consistent and readable.
One tool is slightly under the typical 3-15 range, but it is well-scoped for a focused verification service. Each tool earns its place; here, the single operation is sufficient for the core purpose.
The tool covers proof generation (HTTP status, hashes, signatures), but there is no companion tool for retrieving the public key or verifying a packet locally. These are minor gaps that agents can work around externally.