@codesoul-co/hypha-mcp / coordination

• Package index: @codesoul-co/hypha-mcp
• Source: packages/mcp/src/coordination.ts
• Exports: 4

Using this module

Use the Coordination module for using the public contracts and operations for this capability boundary. It exports 1 class, 3 interfaces.

Import from the package entrypoint

import {
  RedisMCPReconnectCoordinator,
} from '@codesoul-co/hypha-mcp';

import type {
  MCPReconnectCoordinator,
  MCPReconnectLease,
  RedisLikeMCPLeaseClient,
} from '@codesoul-co/hypha-mcp';

Usage patterns

• Use the 3 type/interface exports as static contracts in application code, adapters, or tests. Import them with import type; they do not exist at runtime.
• The module exposes 1 class as constructable runtime implementations. Each symbol entry lists its constructor and public methods.

Public exports

Symbol	Kind	Signature	Description
RedisMCPReconnectCoordinator	class	new RedisMCPReconnectCoordinator(client: RedisLikeMCPLeaseClient, namespace?: string, now?: () => number): RedisMCPReconnectCoordinator	A per-server Redis lease that prevents reconnect storms across workers.
MCPReconnectCoordinator	interface	interface MCPReconnectCoordinator	MCP Reconnect Coordinator interface with 1 public fields or methods.
MCPReconnectLease	interface	interface MCPReconnectLease	MCP Reconnect Lease interface with 6 public fields or methods.
RedisLikeMCPLeaseClient	interface	interface RedisLikeMCPLeaseClient	Redis Like MCP Lease Client interface with 2 public fields or methods.

RedisMCPReconnectCoordinator

A per-server Redis lease that prevents reconnect storms across workers.

• Kind: class
• Import: import { RedisMCPReconnectCoordinator } from '@codesoul-co/hypha-mcp';
• Source module: coordination

Declaration

export declare class RedisMCPReconnectCoordinator implements MCPReconnectCoordinator {
    constructor(client: RedisLikeMCPLeaseClient, namespace?: string, now?: () => number);
    acquire(input: {
            serverId: string;
            ownerId: string;
            ttlMs: number;
        }): Promise<MCPReconnectLease | null>;
}

Public members

Member	Kind	Signature	Description
acquire	method	acquire(input: { serverId: string; ownerId: string; ttlMs: number; }): Promise<MCPReconnectLease | null>	Public method; parameters and return type are shown in the signature.
constructor	constructor	(client: RedisLikeMCPLeaseClient, namespace?: string, now?: () => number): RedisMCPReconnectCoordinator	Creates an instance of this class.

MCPReconnectCoordinator

MCP Reconnect Coordinator interface with 1 public fields or methods.

• Kind: interface
• Import: import type { MCPReconnectCoordinator } from '@codesoul-co/hypha-mcp';
• Source module: coordination

Declaration

export interface MCPReconnectCoordinator {
    acquire(input: {
        serverId: string;
        ownerId: string;
        ttlMs: number;
    }): Promise<MCPReconnectLease | null>;
}

Contract members

Member	Kind	Signature	Description
acquire	method	acquire(input: { serverId: string; ownerId: string; ttlMs: number; }): Promise<MCPReconnectLease | null>	Public method; parameters and return type are shown in the signature.

MCPReconnectLease

MCP Reconnect Lease interface with 6 public fields or methods.

• Kind: interface
• Import: import type { MCPReconnectLease } from '@codesoul-co/hypha-mcp';
• Source module: coordination

Declaration

export interface MCPReconnectLease {
    serverId: string;
    ownerId: string;
    fencingToken: string;
    expiresAt: string;
    assertCurrent(): Promise<void>;
    release(): Promise<void>;
}

Contract members

Member	Kind	Signature	Description
assertCurrent	method	assertCurrent(): Promise<void>	Public method; parameters and return type are shown in the signature.
expiresAt	property	expiresAt: string	Public property; its type, readonly modifier and optionality are shown in the signature.
fencingToken	property	fencingToken: string	Public property; its type, readonly modifier and optionality are shown in the signature.
ownerId	property	ownerId: string	Public property; its type, readonly modifier and optionality are shown in the signature.
release	method	release(): Promise<void>	Public method; parameters and return type are shown in the signature.
serverId	property	serverId: string	Public property; its type, readonly modifier and optionality are shown in the signature.

RedisLikeMCPLeaseClient

Redis Like MCP Lease Client interface with 2 public fields or methods.

• Kind: interface
• Import: import type { RedisLikeMCPLeaseClient } from '@codesoul-co/hypha-mcp';
• Source module: coordination

Declaration

export interface RedisLikeMCPLeaseClient {
    set(key: string, value: string, mode: 'PX', ttlMs: number, condition: 'NX'): Promise<string | null>;
    eval(script: string, numberOfKeys: number, ...args: Array<string | number>): Promise<number | string | null>;
}

Contract members

Member	Kind	Signature	Description
eval	method	eval(script: string, numberOfKeys: number, ...args: Array<string | number>): Promise<number | string | null>	Public method; parameters and return type are shown in the signature.
set	method	set(key: string, value: string, mode: "PX", ttlMs: number, condition: "NX"): Promise<string | null>	Public method; parameters and return type are shown in the signature.