Verifies 1CNF safety invariants and bounded state envelopes
Glama couldn't complete the latest health check. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.
If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.
Scored across 8 tools
Each tool targets a distinct verification concern—hashes, state intervals, agent policies, plan trajectories, embeddings, trade bounds, memory assertions, and risk vectors. The close pairing of verify_1cnf_invariants and verify_liquidity_invariant is mitigated by their clear descriptions, though both being 'invariant' checks creates slight potential for confusion.
The overwhelming majority follow a consistent verify_<domain> pattern, making the set predictable. The single exception is check_threat_blacklist, which swaps 'verify' for 'check', creating a minor deviation without breaking overall readability.
Eight tools is well within the ideal range and suits a verification-focused server. Each tool covers a distinct verification category, and none feel redundant or superfluous.
The tool surface covers a broad set of verification domains—security, invariants, planning, embeddings, liquidity, memory, and risk. It lacks an aggregate 'run all verifications' or status tool, but the individual coverage is strong enough that agents can perform the intended verification workflows.
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
verify_agent_entailmentverify_causal_planverify_memory_consistencycheck_threat_blacklistverify_embedding_policyverify_liquidity_invariantverify_risk_policyverify_1cnf_invariants
Add one secure layer between your agents and this server.