Synproof-Syntropy
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| SYNTROPY_API_KEY | Yes | Your Syntropy API key |
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 | {} |
| prompts | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| syntropy_verifyB | Put a declarative claim (thesis), contract clause, scientific hypothesis, or AI output on formal adversarial trial against explicit ground-truth axioms and/or a Small World (@domain:tag) using Synproof's 5-sieve Syntropy dialectical engine. All inputs are sanitized as inert declarative data. |
| syntropy_list_worldsB | List available public and official verified Small Worlds (@domain:tag) in the Synproof Syntropy Library. |
| syntropy_get_world_axiomsB | Retrieve all atomic ground-truth axioms and metadata for a given Small World handle or ID. |
| syntropy_get_onboarding_guideC | Return the interactive Synproof Syntropy Customer Implementation & Onboarding Skill (SKILL.md). |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| syntropy-onboarding-wizard | Interactive customer onboarding & implementation wizard for integrating Synproof's Syntropy. |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 4 tools
Each tool has a clearly distinct role: verification, world listing, axiom retrieval, and onboarding guidance. There is little risk of confusing one tool with another.
All tools use the same syntropy_ prefix and snake_case action-oriented naming. The pattern is predictable and readable across the set.
Four tools is well-scoped for a focused verification service with library access and onboarding. Each tool appears to earn its place without unnecessary surface area.
The core workflow of discovering a world, retrieving its axioms, and running verification is covered. Minor gaps exist around searching/filtering worlds, retrieving verification history, or managing custom axioms, but agents can work around them.