elspais 0.11.1__py3-none-any.whl → 0.43.5__py3-none-any.whl

elspais/mcp/__init__.py

@@ -1,42 +1,60 @@
-"""
-elspais.mcp - MCP (Model Context Protocol) server for elspais.
+"""elspais.mcp - Model Context Protocol server for elspais.
 
 This module provides an MCP server that exposes elspais functionality
-to AI agents and LLMs. Requires the optional 'mcp' dependency:
-
-    pip install elspais[mcp]
+to AI agents. The server is a pure interface layer that consumes
+TraceGraph directly (REQ-p00060-B).
 
 Usage:
-    elspais mcp serve                    # Start with stdio transport
-    python -m elspais.mcp                # Alternative entry point
+    # Check if MCP is available
+    from elspais.mcp import MCP_AVAILABLE
+
+    if MCP_AVAILABLE:
+        from elspais.mcp import create_server, run_server
+
+        # Create server
+        server = create_server()
+
+        # Or run directly
+        run_server()
 """
 
-from elspais.mcp.context import WorkspaceContext
-from elspais.mcp.serializers import (
-    serialize_assertion,
-    serialize_content_rule,
-    serialize_requirement,
-    serialize_requirement_summary,
-    serialize_violation,
-)
+try:
+    from mcp.server.fastmcp import FastMCP
+
+    MCP_AVAILABLE = True
+except ImportError:
+    MCP_AVAILABLE = False
+    FastMCP = None
 
-__all__ = [
-    "WorkspaceContext",
-    "serialize_assertion",
-    "serialize_content_rule",
-    "serialize_requirement",
-    "serialize_requirement_summary",
-    "serialize_violation",
-]
 
+def create_server(*args, **kwargs):
+    """Create the MCP server.
 
-def create_server(working_dir=None):
-    """Create MCP server instance."""
+    Raises:
+        ImportError: If MCP dependencies are not installed.
+    """
+    if not MCP_AVAILABLE:
+        raise ImportError("MCP dependencies not installed. Install with: pip install elspais[mcp]")
     from elspais.mcp.server import create_server as _create
-    return _create(working_dir)
 
+    return _create(*args, **kwargs)
 
-def run_server(working_dir=None, transport="stdio"):
-    """Run MCP server."""
+
+def run_server(*args, **kwargs):
+    """Run the MCP server.
+
+    Raises:
+        ImportError: If MCP dependencies are not installed.
+    """
+    if not MCP_AVAILABLE:
+        raise ImportError("MCP dependencies not installed. Install with: pip install elspais[mcp]")
     from elspais.mcp.server import run_server as _run
-    return _run(working_dir, transport)
+
+    return _run(*args, **kwargs)
+
+
+__all__ = [
+    "MCP_AVAILABLE",
+    "create_server",
+    "run_server",
+]

elspais/mcp/__main__.py

@@ -1,4 +1,8 @@
-"""Allow running as: python -m elspais.mcp"""
+"""Entry point for running elspais MCP server directly.
+
+Usage:
+    python -m elspais.mcp
+"""
 
 from elspais.mcp.server import run_server
 

elspais/mcp/file_mutations.py

@@ -0,0 +1,138 @@
+"""File mutation helpers for CLI commands.
+
+Provides functions to safely modify spec files on disk:
+- update_hash_in_file: Update the hash in a requirement's End marker
+- add_status_to_file: Add a missing Status field to metadata
+"""
+
+from __future__ import annotations
+
+import re
+from pathlib import Path
+
+
+def update_hash_in_file(
+    file_path: Path,
+    req_id: str,
+    new_hash: str,
+) -> bool:
+    """Update the hash in a spec file for a requirement.
+
+    Finds the end marker line: *End* *Title* | **Hash**: old_hash
+    And updates to: *End* *Title* | **Hash**: new_hash
+
+    Args:
+        file_path: Path to the spec file.
+        req_id: The requirement ID (e.g., 'REQ-p00001').
+        new_hash: The new hash value to set.
+
+    Returns:
+        True if the hash was updated, False if the requirement was not found.
+    """
+    file_path = Path(file_path)
+    content = file_path.read_text(encoding="utf-8")
+
+    # Find the requirement block to locate its End marker
+    # First find the header line: ## REQ-xxx: Title
+    header_pattern = re.compile(
+        rf"^(##+ {re.escape(req_id)}:\s*(.+?)\s*)$",
+        re.MULTILINE,
+    )
+    header_match = header_pattern.search(content)
+    if not header_match:
+        return False
+
+    # Now find the End marker after this header
+    # Pattern: *End* *Title* | **Hash**: xxxxxxxx
+    # The title in the End marker should match the requirement's title
+    start_pos = header_match.end()
+
+    # Look for the End marker pattern anywhere after the header
+    # It can have various title formats, so we just look for *End* ... **Hash**:
+    end_pattern = re.compile(
+        r"(\*End\*\s+\*.+?\*\s*\|\s*\*\*Hash\*\*:\s*)([a-fA-F0-9]+)",
+    )
+
+    # Search from the header position
+    end_match = end_pattern.search(content, pos=start_pos)
+    if not end_match:
+        return False
+
+    # Check if this End marker is still part of our requirement block
+    # (i.e., no new requirement header between our header and this End marker)
+    next_header_pattern = re.compile(r"^##+ REQ-", re.MULTILINE)
+    next_header_match = next_header_pattern.search(content, pos=start_pos)
+
+    if next_header_match and next_header_match.start() < end_match.start():
+        # This End marker belongs to a different requirement
+        return False
+
+    # Replace just the hash value
+    new_content = content[: end_match.start(2)] + new_hash + content[end_match.end(2) :]
+
+    file_path.write_text(new_content, encoding="utf-8")
+    return True
+
+
+def add_status_to_file(
+    file_path: Path,
+    req_id: str,
+    status: str,
+) -> bool:
+    """Add a Status field to a requirement's metadata line.
+
+    Finds the metadata line: **Level**: XXX | **Implements**: YYY
+    And adds Status: **Level**: XXX | **Status**: ZZZ | **Implements**: YYY
+
+    Args:
+        file_path: Path to the spec file.
+        req_id: The requirement ID (e.g., 'REQ-p00001').
+        status: The status value to add (e.g., 'Active').
+
+    Returns:
+        True if status was added, False if req not found or already has status.
+    """
+    file_path = Path(file_path)
+    content = file_path.read_text(encoding="utf-8")
+
+    # Find the requirement header
+    header_pattern = re.compile(
+        rf"^(##+ {re.escape(req_id)}:\s*.+?)$",
+        re.MULTILINE,
+    )
+    header_match = header_pattern.search(content)
+    if not header_match:
+        return False
+
+    start_pos = header_match.end()
+
+    # Find the next requirement header or end of file to bound our search
+    next_header_pattern = re.compile(r"^##+ REQ-", re.MULTILINE)
+    next_header_match = next_header_pattern.search(content, pos=start_pos)
+    end_pos = next_header_match.start() if next_header_match else len(content)
+
+    # Search for metadata line within this requirement block
+    block = content[start_pos:end_pos]
+
+    # Check if status already exists
+    if re.search(r"\*\*Status\*\*:", block):
+        return False
+
+    # Find the Level line: **Level**: XXX | ...
+    level_pattern = re.compile(
+        r"(\*\*Level\*\*:\s*\w+)(\s*\|)",
+    )
+    level_match = level_pattern.search(block)
+    if not level_match:
+        return False
+
+    # Insert status after Level
+    new_block = (
+        block[: level_match.end(1)] + f" | **Status**: {status}" + block[level_match.start(2) :]
+    )
+
+    # Rebuild the full content
+    new_content = content[:start_pos] + new_block + content[end_pos:]
+
+    file_path.write_text(new_content, encoding="utf-8")
+    return True