-
Notifications
You must be signed in to change notification settings - Fork 82
feat(clp-mcp-server): Introduce session-based MCP capabilities: #1401
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 41 commits
a76ff24
697f366
70dff32
0d8b06a
c5ac54e
d326f76
37f2c41
47d0301
2201266
aa37f1a
a3076b6
d3d7830
ec0f2bc
21e0386
edf68e4
3d2be57
e1c1b3b
7844653
97e7f23
d3ccf3e
15315ec
8ce8a38
6faeba9
466e242
cccd8ec
b7c3b87
9c6b881
184c94e
07aa3f8
1c2d810
02c706f
da0b2e3
142573a
6f426ca
c8816a5
702837c
e267ec4
ed7765b
9e73062
01c6a05
67d183e
ce744d7
4fc5cc3
23797fd
0644fb7
662b47d
1a53ad3
862aa42
b79f681
134591c
50e5db3
1cad6b0
2683bcf
22de748
c934ac7
4a2bd41
ad11e90
a1979d6
2193824
d6a7944
00f9503
9678909
5af4233
392af88
07f17a5
d4f6015
540e78d
c480b33
c411ae0
2601008
e38f988
08c80b3
1de6a46
86184c9
a2a13b8
8a5c204
9caab35
f7a6579
a54b019
046b6f6
ebad693
fa8dcc5
5a12084
acf99a9
3b7daca
7e7b321
2b3f13a
c206f7b
f882168
8e67e3d
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
"""Constants for CLP MCP server.""" | ||
|
||
EXPIRED_SESSION_SWEEP_INTERVAL_SECONDS = 600 # 10 minutes | ||
ITEM_PER_PAGE = 10 | ||
MAX_CACHED_RESULTS = 1000 | ||
SESSION_TTL_MINUTES = 60 | ||
|
||
SERVER_NAME = "clp-mcp-server" | ||
SYSTEM_PROMPT = ( | ||
"You are an AI assistant that helps users query a log database using KQL (Kibana Query" | ||
" Language). When given a user query, you should generate a KQL query that accurately captures" | ||
" the user's intent. The KQL query should be as specific as possible to minimize the number of" | ||
" log messages returned.\n" | ||
"You should also consider the following guidelines when generating KQL queries:\n" | ||
"- Use specific field names and values to narrow down the search.\n" | ||
"- Avoid using wildcards (*) unless absolutely necessary, as they can lead to large result" | ||
" sets.\n" | ||
"- Use logical operators (AND, OR, NOT) to combine multiple conditions.\n" | ||
"- Consider the time range of the logs you are searching. If the user specifies a time range," | ||
" include it in the KQL query.\n" | ||
"- If the user query is ambiguous or lacks detail, ask clarifying questions to better" | ||
" understand their intent before generating the KQL query.\n" | ||
"- Always ensure that the generated KQL query is syntactically correct and can be executed" | ||
" without errors.\n" | ||
) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,223 @@ | ||
"""Session management for CLP MCP Server.""" | ||
|
||
import threading | ||
import time | ||
from dataclasses import dataclass, field | ||
from datetime import datetime, timedelta, timezone | ||
from typing import Any | ||
|
||
from paginate import Page | ||
|
||
from . import constants | ||
|
||
|
||
class PaginatedQueryResult: | ||
"""Paginates the cached log entries returned from a query's response.""" | ||
|
||
def __init__(self, result_log_entries: list[str], num_items_per_page: int) -> None: | ||
""" | ||
Initializes the PaginatedQueryResult. | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
:param result_log_entries: List of cached log entries to paginate. | ||
:param num_items_per_page: | ||
:raise: ValueError if the number of cached results or num_items_per_page is invalid. | ||
""" | ||
coderabbitai[bot] marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
if len(result_log_entries) > constants.MAX_CACHED_RESULTS: | ||
err_msg = ( | ||
f"PaginatedQueryResult exceeds maximum allowed cached results:" | ||
f" {len(result_log_entries)} > {constants.MAX_CACHED_RESULTS}." | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
) | ||
raise ValueError(err_msg) | ||
|
||
if num_items_per_page <= 0: | ||
err_msg = ( | ||
f"Invalid num_items_per_page: {num_items_per_page}, " | ||
"it must be a positive integer. " | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
) | ||
raise ValueError(err_msg) | ||
|
||
self.result_log_entries = result_log_entries | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
self.num_items_per_page = num_items_per_page | ||
|
||
|
||
self._num_pages = (len(result_log_entries) + num_items_per_page - 1) // num_items_per_page | ||
|
||
def get_page(self, page_index: int) -> Page | None: | ||
""" | ||
Returns a page from the cached query results. | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
:param page_index: The number of page to retrieve (zero-based index; 0 is the first page). | ||
:return: A `Page` object for the specified page. | ||
:return: None if `page_index` is out of bounds. | ||
|
||
""" | ||
page_number = page_index + 1 # Convert zero-based to one-based | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
if page_number <= 0 or self._num_pages < page_number: | ||
return None | ||
|
||
return Page( | ||
self.result_log_entries, | ||
page=page_number, | ||
items_per_page=self.num_items_per_page, | ||
) | ||
|
||
|
||
@dataclass | ||
class SessionState: | ||
"""Represents the state of a user session.""" | ||
|
||
session_id: str | ||
_num_items_per_page: int | ||
_session_ttl_minutes: int | ||
|
||
is_instructions_retrieved: bool = False | ||
last_accessed: datetime = field(default_factory=lambda: datetime.now(timezone.utc)) | ||
_cached_query_result: PaginatedQueryResult | None = None | ||
|
||
def cache_query_result( | ||
self, | ||
results: list[str], | ||
) -> None: | ||
""" | ||
Caches the latest query result of the session. | ||
:param results: Complete log entries from previous query for caching. | ||
""" | ||
self._cached_query_result = PaginatedQueryResult( | ||
20001020ycx marked this conversation as resolved.
Show resolved
Hide resolved
|
||
result_log_entries=results, num_items_per_page=self._num_items_per_page | ||
) | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
|
||
def get_page_data(self, page_index: int) -> dict[str, Any]: | ||
""" | ||
Gets page data and its metadata in a dictionary format. | ||
:param page_index: The number of page to retrieve (zero-based index; 0 is the first page). | ||
:return: Dictionary containing paged log entries and the paging metadata if the | ||
page `page_index` can be retrieved. | ||
:return: Dictionary with ``{"Error": "error message describing the failure"}`` if fails to | ||
retrieve page `page_index`. | ||
""" | ||
if self._cached_query_result is None: | ||
return {"Error": "No previous paginated response in this session."} | ||
|
||
page = self._cached_query_result.get_page(page_index) | ||
if page is None: | ||
return {"Error": "Page index is out of bounds."} | ||
20001020ycx marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
||
20001020ycx marked this conversation as resolved.
Show resolved
Hide resolved
|
||
return { | ||
"items": list(page), | ||
"total_pages": page.page_count, | ||
"total_items": page.item_count, | ||
"num_items_per_page": page.items_per_page, | ||
"has_next": page.next_page is not None, | ||
"has_previous": page.previous_page is not None, | ||
Comment on lines
133
to
143
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Return an empty first page when there are zero cached results. When a search yields no hits, - page = self._cached_query_result.get_page(page_index)
+ cached_result = self._cached_query_result
+
+ if cached_result._num_pages == 0:
+ if page_index != 0:
+ return {"Error": "Page index is out of bounds."}
+ return {
+ "items": [],
+ "total_pages": 0,
+ "total_items": 0,
+ "num_items_per_page": cached_result.num_items_per_page,
+ "has_next": False,
+ "has_previous": False,
+ }
+
+ page = cached_result.get_page(page_index) 🤖 Prompt for AI Agents
|
||
} | ||
Comment on lines
130
to
144
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Return an empty page when the cached result set is empty. Lines 135-149 treat every zero-length cache as “Page index is out of bounds.” With - page = self._cached_query_result.get_page(page_index)
- if page is None:
- return {"Error": "Page index is out of bounds."}
-
- return {
+ cached_result = self._cached_query_result
+
+ if cached_result._num_pages == 0:
+ if page_index != 0:
+ return {"Error": "Page index is out of bounds."}
+ return {
+ "items": [],
+ "total_pages": 0,
+ "total_items": 0,
+ "num_items_per_page": self._num_items_per_page,
+ "has_next": False,
+ "has_previous": False,
+ }
+
+ page = cached_result.get_page(page_index)
+ if page is None:
+ return {"Error": "Page index is out of bounds."}
+
+ return {
"items": list(page),
"total_pages": page.page_count,
"total_items": page.item_count,
"num_items_per_page": page.items_per_page,
"has_next": page.next_page is not None,
"has_previous": page.previous_page is not None,
} 🤖 Prompt for AI Agents
|
||
|
||
def is_expired(self) -> bool: | ||
""":return: Whether the session has expired.""" | ||
time_diff = datetime.now(timezone.utc) - self.last_accessed | ||
return time_diff > timedelta(minutes=self._session_ttl_minutes) | ||
|
||
def update_access_time(self) -> None: | ||
"""Updates the last accessed timestamp.""" | ||
self.last_accessed = datetime.now(timezone.utc) | ||
|
||
|
||
class SessionManager: | ||
""" | ||
Session manager for concurrent user sessions. | ||
`SessionManager` respects MCP Server Concurrency Model, that is: | ||
The server supports multiple concurrent clients, where each client only makes synchronous | ||
API calls. | ||
This model leads to the following design decisions: | ||
sessions is a shared variable as there may be multiple session attached to the MCP server | ||
session state is NOT a shared variable because each session is accessed by only one | ||
connection at a time because API calls for a single session are synchronous. | ||
""" | ||
|
||
def __init__(self, session_ttl_minutes: int) -> None: | ||
""" | ||
Initializes the SessionManager and starts background cleanup thread. | ||
:param session_ttl_minutes: Session time-to-live in minutes. | ||
""" | ||
self.sessions: dict[str, SessionState] = {} | ||
self._session_ttl_minutes = session_ttl_minutes | ||
self._sessions_lock = threading.Lock() | ||
self._cleanup_thread = threading.Thread(target=self._cleanup_loop, daemon=True) | ||
self._cleanup_thread.start() | ||
|
||
|
||
def _cleanup_loop(self) -> None: | ||
"""Cleans up all expired sessions periodically in a separate cleanup thread.""" | ||
while True: | ||
time.sleep(constants.EXPIRED_SESSION_SWEEP_INTERVAL_SECONDS) | ||
self.cleanup_expired_sessions() | ||
|
||
def cleanup_expired_sessions(self) -> None: | ||
"""Cleans up all expired sessions.""" | ||
with self._sessions_lock: | ||
expired_sessions = [ | ||
sid for sid, session in self.sessions.items() if session.is_expired() | ||
] | ||
|
||
for sid in expired_sessions: | ||
del self.sessions[sid] | ||
|
||
def get_or_create_session(self, session_id: str) -> SessionState: | ||
""" | ||
Gets an existing session or creates a new one. | ||
:param session_id: Unique identifier for the session. | ||
:return: The SessionState object for the given session_id. | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
""" | ||
with self._sessions_lock: | ||
if session_id in self.sessions and self.sessions[session_id].is_expired(): | ||
del self.sessions[session_id] | ||
|
||
if session_id not in self.sessions: | ||
self.sessions[session_id] = SessionState( | ||
session_id, constants.ITEM_PER_PAGE, self._session_ttl_minutes | ||
) | ||
|
||
session = self.sessions[session_id] | ||
|
||
session.update_access_time() | ||
return session | ||
|
||
def cache_query_result(self, session_id: str, query_results: list[str]) -> dict[str, Any]: | ||
""" | ||
Caches query results for a session and returns the first page and the paging metadata. | ||
:param session_id: Unique identifier for the session. | ||
:param query_results: Complete log entries from previous query for caching. | ||
:return: Dictionary containing the first page log entries and the paging metadata if the | ||
first page can be retrieved. | ||
:return: Dictionary with ``{"Error": "error message describing the failure"}`` if fails to | ||
retrieve the first page. | ||
""" | ||
session = self.get_or_create_session(session_id) | ||
if session.is_instructions_retrieved is False: | ||
return { | ||
"Error": "Please call get_instructions() first " | ||
"to understand how to use this MCP server." | ||
} | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
|
||
session.cache_query_result(results=query_results) | ||
|
||
return session.get_page_data(0) | ||
|
||
def get_nth_page(self, session_id: str, page_index: int) -> dict[str, Any]: | ||
""" | ||
Retrieves the n-th page of a paginated response with the paging metadata from the previous | ||
query. | ||
:param session_id: Unique identifier for the session. | ||
:param page_index: The number of page to retrieve (zero-based index; 0 is the first page). | ||
20001020ycx marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||
:return: Forwards `SessionState.get_page_data`'s return values. | ||
""" | ||
session = self.get_or_create_session(session_id) | ||
if session.is_instructions_retrieved is False: | ||
return { | ||
"Error": "Please call get_instructions() first " | ||
"to understand how to use this MCP server." | ||
} | ||
|
||
return session.get_page_data(page_index) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
"""Test Package for CLP MCP Server.""" |
Uh oh!
There was an error while loading. Please reload this page.