No user-submitted related servers found.
Scored across 9 tools
Tools are largely distinct by function: create/register/load/check/query/get/clear each target a different aspect of the session lifecycle. The only mild overlap is parseltongue_check_consistency vs parseltongue_load_dsl (both return verification/consistency info) and get_state vs query, but descriptions make the boundaries reasonably clear.
All tools follow the consistent parseltongue_verb_noun pattern (create_session, register_document, load_dsl, check_consistency, get_state, query, list_sessions, clear_session, dsl_reference). Minor deviation is the verb-less 'query' and 'dsl_reference', but these are readable and predictable overall.
Nine tools is a reasonable count for a session-management plus DSL-engine server. Each tool serves a clear purpose without feeling bulky; slightly on the higher end for a content-verification tool but well within acceptable range.
The surface covers the full session lifecycle: create, register documents, load DSL, check, query, get state, list, and clear. Minor gaps exist (no delete_session/destroy session, no update/append operations), but the core verification workflow is well covered.