Kremis
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| KREMIS_URL | No | URL of the in-container Kremis HTTP server the MCP bridge proxies to. Default works with the launcher script. | http://localhost:18080 |
| KREMIS_API_TOKEN | No | Optional Bearer token for the Kremis HTTP API. Leave empty if auth is disabled (default). |
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 |
|---|---|
| kremis_certifyA | Produce a Verifiable Query Certificate for an entity lookup: a reproducible proof of a fact, or a proof of absence when the entity is not in the graph |
| kremis_hashA | Get the canonical BLAKE3 hash of the current graph state |
| kremis_ingestC | Add an entity or relation to the Kremis knowledge graph |
| kremis_intersectB | Find common connections between multiple nodes |
| kremis_lookupB | Look up an entity in the graph by its entity ID |
| kremis_pathC | Find the strongest weighted path between two nodes |
| kremis_propertiesB | Get all properties (attributes and values) of a specific node |
| kremis_retractB | Decrement the weight of an edge between two entities (edge invalidation / signal retraction) |
| kremis_statusA | Get current graph statistics (node count, edge count, density) |
| kremis_traverseC | Traverse the graph from a node to discover connected entities |
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 10 tools
Each tool has a clearly distinct purpose: ingest adds data, lookup retrieves entities, properties gets attributes, traverse explores connections, intersect finds common neighbors, path finds weighted paths, retract adjusts edge weights, status shows statistics, hash computes graph hash, and certify produces proofs. No overlapping functionality.
All tools follow the consistent pattern 'kremis_<verb>' with clear action verbs (certify, hash, ingest, intersect, lookup, path, properties, retract, status, traverse), making the naming predictable and easy to understand.
With 10 tools, the server is well-scoped for a knowledge graph management and verification system. Each tool contributes meaningfully without being excessive or insufficient.
The tool set covers essential CRUD-like operations (ingest, lookup, retract), graph traversal and analysis (traverse, intersect, path), statistics, hashing, and certification. Missing explicit update or full delete tools, but these may be intentional given the focus on verifiable proofs and immutable facts.