lu-mcp-server 0.1.0__tar.gz

lu_mcp_server-0.1.0/.gitignore

@@ -0,0 +1,3 @@
+__pycache__/
+dist/
+*.egg-info/

lu_mcp_server-0.1.0/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to the Licensor for inclusion in the Work by the copyright
+      owner or by an individual or Legal Entity authorized to submit on behalf
+      of the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Rafa & Cervella
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

lu_mcp_server-0.1.0/PKG-INFO

@@ -0,0 +1,117 @@
+Metadata-Version: 2.4
+Name: lu-mcp-server
+Version: 0.1.0
+Summary: MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types
+Project-URL: Homepage, https://github.com/rafapra3008/cervellaswarm
+Project-URL: Documentation, https://rafapra3008.github.io/cervellaswarm/
+Project-URL: Repository, https://github.com/rafapra3008/cervellaswarm
+Project-URL: Issues, https://github.com/rafapra3008/cervellaswarm/issues
+Author-email: CervellaSwarm <noreply@cervellaswarm.com>
+License-Expression: Apache-2.0
+License-File: LICENSE
+Keywords: ai-agents,formal-methods,mcp,protocol-verification,session-types
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Topic :: Software Development :: Quality Assurance
+Requires-Python: >=3.10
+Requires-Dist: cervellaswarm-lingua-universale>=0.3.3
+Requires-Dist: mcp[cli]>=1.0.0
+Provides-Extra: test
+Requires-Dist: pytest>=7.0; extra == 'test'
+Description-Content-Type: text/markdown
+
+# lu-mcp-server
+
+MCP server for [Lingua Universale](https://github.com/rafapra3008/cervellaswarm) protocol verification.
+
+Verify AI agent communication with session types -- mathematical proofs, not trust.
+
+## Install
+
+```bash
+pip install lu-mcp-server
+```
+
+## Configure
+
+### Claude Code
+
+```bash
+claude mcp add lu-mcp-server -- lu-mcp-server
+```
+
+### Claude Desktop
+
+Add to `claude_desktop_config.json`:
+
+```json
+{
+  "mcpServers": {
+    "lu-mcp-server": {
+      "command": "lu-mcp-server"
+    }
+  }
+}
+```
+
+### Cursor / Windsurf
+
+Add to your MCP settings:
+
+```json
+{
+  "lu-mcp-server": {
+    "command": "lu-mcp-server"
+  }
+}
+```
+
+## Tools
+
+### `lu_load_protocol`
+
+Parse a `.lu` protocol definition and extract its structure.
+
+### `lu_verify_message`
+
+Check if a message is valid in the context of an ongoing session.
+
+### `lu_check_properties`
+
+Verify formal safety properties (always terminates, no deadlock, etc.).
+
+### `lu_list_templates`
+
+Browse 20 standard library protocols across 5 categories.
+
+## Example
+
+```
+protocol OrderProcessing:
+    roles: customer, warehouse, payment
+    customer asks warehouse to check availability
+    warehouse returns stock status to customer
+    when customer decides:
+        in_stock:
+            customer asks payment to process order
+            payment returns confirmation to customer
+        out_of_stock:
+            customer sends cancellation to warehouse
+    properties:
+        always terminates
+        no deadlock
+        all roles participate
+```
+
+## Links
+
+- [Playground](https://rafapra3008.github.io/cervellaswarm/) -- try LU in your browser
+- [PyPI](https://pypi.org/project/cervellaswarm-lingua-universale/) -- core package
+- [VS Code](https://marketplace.visualstudio.com/items?itemName=cervellaswarm.lingua-universale) -- editor extension
+
+## License
+
+Apache 2.0

lu_mcp_server-0.1.0/README.md

@@ -0,0 +1,92 @@
+# lu-mcp-server
+
+MCP server for [Lingua Universale](https://github.com/rafapra3008/cervellaswarm) protocol verification.
+
+Verify AI agent communication with session types -- mathematical proofs, not trust.
+
+## Install
+
+```bash
+pip install lu-mcp-server
+```
+
+## Configure
+
+### Claude Code
+
+```bash
+claude mcp add lu-mcp-server -- lu-mcp-server
+```
+
+### Claude Desktop
+
+Add to `claude_desktop_config.json`:
+
+```json
+{
+  "mcpServers": {
+    "lu-mcp-server": {
+      "command": "lu-mcp-server"
+    }
+  }
+}
+```
+
+### Cursor / Windsurf
+
+Add to your MCP settings:
+
+```json
+{
+  "lu-mcp-server": {
+    "command": "lu-mcp-server"
+  }
+}
+```
+
+## Tools
+
+### `lu_load_protocol`
+
+Parse a `.lu` protocol definition and extract its structure.
+
+### `lu_verify_message`
+
+Check if a message is valid in the context of an ongoing session.
+
+### `lu_check_properties`
+
+Verify formal safety properties (always terminates, no deadlock, etc.).
+
+### `lu_list_templates`
+
+Browse 20 standard library protocols across 5 categories.
+
+## Example
+
+```
+protocol OrderProcessing:
+    roles: customer, warehouse, payment
+    customer asks warehouse to check availability
+    warehouse returns stock status to customer
+    when customer decides:
+        in_stock:
+            customer asks payment to process order
+            payment returns confirmation to customer
+        out_of_stock:
+            customer sends cancellation to warehouse
+    properties:
+        always terminates
+        no deadlock
+        all roles participate
+```
+
+## Links
+
+- [Playground](https://rafapra3008.github.io/cervellaswarm/) -- try LU in your browser
+- [PyPI](https://pypi.org/project/cervellaswarm-lingua-universale/) -- core package
+- [VS Code](https://marketplace.visualstudio.com/items?itemName=cervellaswarm.lingua-universale) -- editor extension
+
+## License
+
+Apache 2.0

lu_mcp_server-0.1.0/lu_mcp_server.py

@@ -0,0 +1,647 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: Apache-2.0
+# Copyright 2026 CervellaSwarm Contributors
+
+"""Lingua Universale MCP Server.
+
+Exposes Lingua Universale protocol verification as MCP tools for
+Claude Code, Cursor, Windsurf, and any MCP-compatible client.
+
+Four tools:
+  - lu_load_protocol   -- parse a .lu source file
+  - lu_verify_message  -- check if a message is valid in session context
+  - lu_check_properties -- verify formal safety properties
+  - lu_list_templates  -- browse the standard library (20 protocols)
+
+Usage:
+    pip install lu-mcp-server
+    lu-mcp-server                    # stdio transport (default)
+"""
+
+from __future__ import annotations
+
+import json
+import logging
+from importlib.metadata import version, PackageNotFoundError
+from typing import Any
+
+try:
+    __version__ = version("lu-mcp-server")
+except PackageNotFoundError:
+    __version__ = "0.1.0"
+
+from mcp.server.fastmcp import FastMCP
+
+logger = logging.getLogger(__name__)
+
+mcp = FastMCP(
+    "lingua-universale",
+    instructions=(
+        "Verify agent-to-agent communication against session type protocols. "
+        "Mathematical proofs, not trust. "
+        "Use lu_load_protocol to parse a .lu definition, "
+        "lu_verify_message to check individual messages, "
+        "lu_check_properties for formal safety proofs, "
+        "and lu_list_templates to browse 20 standard library protocols."
+    ),
+)
+
+
+# ---------------------------------------------------------------------------
+# Helper: import LU with a clear error if not installed
+# ---------------------------------------------------------------------------
+
+
+def _require_lu() -> Any:
+    """Return the cervellaswarm_lingua_universale module or raise ImportError."""
+    try:
+        import cervellaswarm_lingua_universale as lu  # noqa: PLC0415
+        return lu
+    except ImportError as exc:
+        raise ImportError(
+            "cervellaswarm-lingua-universale is not installed. "
+            "Run: pip install cervellaswarm-lingua-universale>=0.3.3"
+        ) from exc
+
+
+# ---------------------------------------------------------------------------
+# Tool 1: lu_load_protocol
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool()
+async def lu_load_protocol(protocol_text: str) -> str:
+    """Parse a Lingua Universale (.lu) protocol definition.
+
+    Accepts the full text of a .lu file and returns the parsed protocol
+    structure: name, roles, steps, choices, and declared properties.
+
+    Args:
+        protocol_text: Content of a .lu file, e.g.:
+            "protocol RequestResponse:\\n"
+            "    roles: client, server\\n"
+            "    client asks server to process request\\n"
+            "    server returns response to client\\n"
+            "    properties:\\n"
+            "        always terminates\\n"
+            "        no deadlock\\n"
+
+    Returns:
+        JSON string with keys:
+          ok (bool), protocol_name (str), roles (list[str]),
+          steps (list), properties (list), error (str on failure).
+    """
+    lu = _require_lu()
+
+    result = lu.check_source(protocol_text, source_file="<mcp-input>")
+
+    if not result.ok:
+        return json.dumps({
+            "ok": False,
+            "error": "; ".join(result.errors),
+        })
+
+    # Extract protocol info from the compiled module's AST via verify_source
+    # (check_source only compiles; verify_source also walks declarations)
+    verify_result = lu.verify_source(protocol_text, source_file="<mcp-input>")
+
+    protocols_info: list[dict[str, Any]] = []
+
+    # Walk property reports to extract protocol metadata
+    for report in verify_result.property_reports:
+        protocol_name = report.protocol_name
+        props: list[dict[str, Any]] = []
+        for pr in report.results:
+            props.append({
+                "kind": pr.spec.kind.value,
+                "verdict": pr.verdict.value,
+                "evidence": pr.evidence,
+                "params": list(pr.spec.params),
+            })
+        protocols_info.append({
+            "protocol_name": protocol_name,
+            "properties": props,
+            "all_passed": report.all_passed,
+            "passed_count": report.passed_count,
+            "violated_count": report.violated_count,
+        })
+
+    # Also extract parse-level info via the _parser + _ast
+    from cervellaswarm_lingua_universale._parser import parse  # noqa: PLC0415
+    from cervellaswarm_lingua_universale._ast import (  # noqa: PLC0415
+        ProtocolNode,
+        AgentNode,
+        ChoiceNode,
+    )
+
+    try:
+        program = parse(protocol_text)
+    except Exception as exc:
+        logger.warning("Parse error in lu_load_protocol: %s", exc)
+        return json.dumps({
+            "ok": False,
+            "error": f"Parse error: {exc}",
+        })
+
+    protocols_detail: list[dict[str, Any]] = []
+    agents_detail: list[dict[str, Any]] = []
+
+    for decl in program.declarations:
+        if isinstance(decl, ProtocolNode):
+            steps_info = _steps_to_list(decl.steps)
+            protocols_detail.append({
+                "name": decl.name,
+                "roles": list(decl.roles),
+                "steps": steps_info,
+                "step_count": len(steps_info),
+                "has_choices": any(
+                    isinstance(s, ChoiceNode) for s in decl.steps
+                ),
+            })
+        elif isinstance(decl, AgentNode):
+            agents_detail.append({
+                "name": decl.name,
+                "role": decl.role,
+                "trust": decl.trust,
+            })
+
+    return json.dumps({
+        "ok": True,
+        "protocols": protocols_detail,
+        "agents": agents_detail,
+        "property_reports": protocols_info,
+        "summary": {
+            "protocol_count": len(protocols_detail),
+            "agent_count": len(agents_detail),
+        },
+    }, indent=2)
+
+
+def _steps_to_list(steps: list[Any]) -> list[dict[str, Any]]:
+    """Recursively convert AST step/choice nodes to serialisable dicts."""
+    from cervellaswarm_lingua_universale._ast import ChoiceNode  # noqa: PLC0415
+
+    result: list[dict[str, Any]] = []
+    for step in steps:
+        if isinstance(step, ChoiceNode):
+            branches: dict[str, list[dict[str, Any]]] = {}
+            for branch in step.branches:
+                branches[branch.label] = _steps_to_list(branch.steps)
+            result.append({
+                "type": "choice",
+                "decider": step.decider,
+                "branches": branches,
+            })
+        elif hasattr(step, "sender"):
+            result.append({
+                "type": "step",
+                "sender": step.sender,
+                "receiver": step.receiver,
+                "action": step.action,
+                "payload": getattr(step, "payload", ""),
+            })
+    return result
+
+
+# ---------------------------------------------------------------------------
+# Tool 2: lu_verify_message
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool()
+async def lu_verify_message(
+    protocol_text: str,
+    messages: list[dict[str, str]],
+    next_message: dict[str, str],
+) -> str:
+    """Verify whether a message is valid in the context of an ongoing session.
+
+    Replays the existing message history against the protocol, then checks
+    whether next_message is the expected next step.
+
+    Args:
+        protocol_text: Full .lu protocol definition text.
+        messages: List of already-sent messages, each a dict with keys:
+            sender (str), receiver (str), action (str).
+            Actions are LU action names: "asks", "returns", "sends",
+            "proposes", "tells". These match the verbs in .lu source files.
+        next_message: The message to validate, same format as above.
+
+    Returns:
+        JSON string:
+          On success: {"valid": true, "step": N, "next_expected": "..."}
+          On violation: {"valid": false, "violation": "...", "expected": "...", "got": "..."}
+          On error: {"valid": false, "error": "..."}
+
+    Example:
+        protocol_text = "protocol Ping:\\n    roles: a, b\\n    a asks b to ping\\n    b returns pong to a\\n    properties:\\n        always terminates\\n"
+        messages = [{"sender": "a", "receiver": "b", "action": "ask"}]
+        next_message = {"sender": "b", "receiver": "a", "action": "return"}
+        # Returns: {"valid": true, ...}
+    """
+    lu = _require_lu()
+
+    # Step 1: Parse the protocol
+    from cervellaswarm_lingua_universale._parser import parse  # noqa: PLC0415
+    from cervellaswarm_lingua_universale._eval import _protocol_node_to_runtime  # noqa: PLC0415
+    from cervellaswarm_lingua_universale._ast import ProtocolNode  # noqa: PLC0415
+
+    try:
+        program = parse(protocol_text)
+    except Exception as exc:
+        logger.warning("Parse error in lu_verify_message: %s", exc)
+        return json.dumps({"valid": False, "error": f"Parse error: {exc}"})
+
+    protocol_nodes = [
+        d for d in program.declarations if isinstance(d, ProtocolNode)
+    ]
+    if not protocol_nodes:
+        return json.dumps({
+            "valid": False,
+            "error": "No protocol declaration found in protocol_text.",
+        })
+
+    # Use first protocol (most common case)
+    protocol_obj = _protocol_node_to_runtime(protocol_nodes[0])
+
+    # Step 2: Build a SessionChecker and replay history
+    checker = lu.SessionChecker(protocol_obj, session_id="mcp-verify")
+
+    # Map action names to MessageKind via the action->kind table from _eval
+    from cervellaswarm_lingua_universale._eval import _action_to_kind_map  # noqa: PLC0415
+
+    action_map = _action_to_kind_map()
+
+    def _make_swarm_msg(action: str) -> Any:
+        """Create a minimal SwarmMessage for the given action."""
+        from cervellaswarm_lingua_universale.types import (  # noqa: PLC0415
+            TaskRequest, MessageKind,
+        )
+
+        kind = action_map.get(action.lower())
+        if kind is None:
+            # Fallback: try direct MessageKind value lookup
+            for mk in MessageKind:
+                if mk.value == action.lower():
+                    kind = mk
+                    break
+        if kind is None:
+            raise ValueError(
+                f"Unknown action '{action}'. "
+                f"Known actions: {sorted(action_map.keys())}"
+            )
+        # Return the simplest valid SwarmMessage for this kind
+        return _kind_to_swarm_msg(kind)
+
+    # Replay existing messages
+    for i, msg in enumerate(messages):
+        sender = msg.get("sender", "")
+        receiver = msg.get("receiver", "")
+        action = msg.get("action", "")
+
+        try:
+            swarm_msg = _make_swarm_msg(action)
+        except ValueError as exc:
+            return json.dumps({
+                "valid": False,
+                "error": f"Message {i}: {exc}",
+            })
+
+        try:
+            checker.send(sender, receiver, swarm_msg)
+        except lu.ProtocolViolation as exc:
+            return json.dumps({
+                "valid": False,
+                "error": f"History replay failed at message {i}: {exc}",
+                "expected": exc.expected,
+                "got": exc.got,
+            })
+        except lu.SessionComplete as exc:
+            return json.dumps({
+                "valid": False,
+                "error": f"Protocol already complete at message {i}: {exc}",
+            })
+
+    # Step 3: Check the next message
+    next_sender = next_message.get("sender", "")
+    next_receiver = next_message.get("receiver", "")
+    next_action = next_message.get("action", "")
+
+    try:
+        next_swarm_msg = _make_swarm_msg(next_action)
+    except ValueError as exc:
+        return json.dumps({"valid": False, "error": str(exc)})
+
+    # Peek at what's expected before attempting send
+    # NOTE: uses private API (_state) -- no public equivalent yet
+    try:
+        expected_step = checker._state.peek_next_step()
+    except AttributeError:
+        expected_step = None
+    expected_desc = (
+        f"{expected_step.sender} -> {expected_step.receiver} : {expected_step.message_kind.value}"
+        if expected_step else "protocol complete or at choice point"
+    )
+
+    try:
+        checker.send(next_sender, next_receiver, next_swarm_msg)
+    except lu.ProtocolViolation as exc:
+        return json.dumps({
+            "valid": False,
+            "violation": str(exc),
+            "expected": exc.expected,
+            "got": exc.got,
+            "step": exc.step,
+        })
+    except lu.SessionComplete as exc:
+        return json.dumps({
+            "valid": False,
+            "violation": str(exc),
+            "expected": "no more messages (protocol complete)",
+            "got": f"{next_sender} -> {next_receiver} : {next_action}",
+        })
+
+    # Success
+    # NOTE: uses private API (_state) -- no public equivalent yet
+    try:
+        next_expected_step = checker._state.peek_next_step()
+    except AttributeError:
+        next_expected_step = None
+    next_expected_desc = (
+        f"{next_expected_step.sender} -> {next_expected_step.receiver} : {next_expected_step.message_kind.value}"
+        if next_expected_step else "protocol complete"
+    )
+
+    return json.dumps({
+        "valid": True,
+        "step": checker.step_index,
+        "is_complete": checker.is_complete,
+        "next_expected": next_expected_desc,
+    })
+
+
+def _kind_to_swarm_msg(kind: Any) -> Any:
+    """Return the simplest valid SwarmMessage for a given MessageKind."""
+    from cervellaswarm_lingua_universale.types import (  # noqa: PLC0415
+        MessageKind,
+        TaskRequest,
+        TaskResult,
+        AuditRequest,
+        AuditVerdict,
+        PlanRequest,
+        PlanProposal,
+        PlanDecision,
+        ResearchQuery,
+        ResearchReport,
+        DirectMessage,
+        Broadcast,
+        ShutdownRequest,
+        ShutdownAck,
+        ContextInject,
+        AuditVerdictType,
+        PlanComplexity,
+        TaskStatus,
+    )
+
+    _KIND_TO_MSG: dict[MessageKind, Any] = {
+        MessageKind.TASK_REQUEST: TaskRequest(
+            task_id="mcp-t1", description="verify",
+        ),
+        MessageKind.TASK_RESULT: TaskResult(
+            task_id="mcp-t1", status=TaskStatus.OK, summary="ok",
+        ),
+        MessageKind.AUDIT_REQUEST: AuditRequest(
+            audit_id="mcp-a1", target="verify",
+        ),
+        MessageKind.AUDIT_VERDICT: AuditVerdict(
+            audit_id="mcp-a1", verdict=AuditVerdictType.APPROVED, score=9.5,
+        ),
+        MessageKind.PLAN_REQUEST: PlanRequest(
+            plan_id="mcp-p1", task_description="plan",
+        ),
+        MessageKind.PLAN_PROPOSAL: PlanProposal(
+            plan_id="mcp-p1", complexity=PlanComplexity.LOW,
+            risk_score=0.1, files_affected=1,
+        ),
+        MessageKind.PLAN_DECISION: PlanDecision(
+            plan_id="mcp-p1", approved=True,
+        ),
+        MessageKind.RESEARCH_QUERY: ResearchQuery(
+            query_id="mcp-q1", topic="verify",
+        ),
+        MessageKind.RESEARCH_REPORT: ResearchReport(
+            query_id="mcp-q1", topic="verify", sources_consulted=1,
+        ),
+        MessageKind.DM: DirectMessage(
+            sender_role="mcp", content="verify",
+        ),
+        MessageKind.BROADCAST: Broadcast(
+            sender_role="mcp", content="verify",
+        ),
+        MessageKind.SHUTDOWN_REQUEST: ShutdownRequest(
+            target_role="mcp",
+        ),
+        MessageKind.SHUTDOWN_ACK: ShutdownAck(
+            target_role="mcp",
+        ),
+        MessageKind.CONTEXT_INJECT: ContextInject(
+            context_type="mcp", content="verify",
+        ),
+    }
+
+    msg = _KIND_TO_MSG.get(kind)
+    if msg is None:
+        # Fallback for any unknown kind: use DirectMessage
+        msg = DirectMessage(sender_role="mcp", content=f"mcp-verify-{kind.value}")
+    return msg
+
+
+# ---------------------------------------------------------------------------
+# Tool 3: lu_check_properties
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool()
+async def lu_check_properties(protocol_text: str) -> str:
+    """Verify the formal safety properties declared in a .lu protocol.
+
+    Runs the static property checker (Layer 1) on all protocols found in
+    the source. Optionally, if Lean 4 is installed, also runs formal
+    verification (Layer 2).
+
+    Args:
+        protocol_text: Full .lu protocol definition text including a
+            "properties:" block, e.g.:
+            "    properties:\\n"
+            "        always terminates\\n"
+            "        no deadlock\\n"
+            "        all roles participate\\n"
+
+    Returns:
+        JSON string with:
+          ok (bool), protocols (list of protocol results), summary (dict).
+          Each protocol result has: protocol_name, all_passed, results (list).
+          Each result has: kind, verdict, evidence, params.
+    """
+    lu = _require_lu()
+
+    verify_result = lu.verify_source(protocol_text, source_file="<mcp-input>")
+
+    if not verify_result.ok and not verify_result.property_reports:
+        return json.dumps({
+            "ok": False,
+            "error": "; ".join(verify_result.errors),
+        })
+
+    protocols_out: list[dict[str, Any]] = []
+
+    for report in verify_result.property_reports:
+        results_out: list[dict[str, Any]] = []
+        for pr in report.results:
+            results_out.append({
+                "kind": pr.spec.kind.value,
+                "verdict": pr.verdict.value,
+                "evidence": pr.evidence,
+                "params": list(pr.spec.params),
+                "threshold": pr.spec.threshold if pr.spec.threshold is not None and pr.spec.threshold != 0.0 else None,
+            })
+
+        protocols_out.append({
+            "protocol_name": report.protocol_name,
+            "all_passed": report.all_passed,
+            "passed_count": report.passed_count,
+            "violated_count": report.violated_count,
+            "results": results_out,
+        })
+
+    # Include Lean 4 lines if available
+    lean4_lines = verify_result.verification
+
+    total_passed = sum(p["passed_count"] for p in protocols_out)
+    total_violated = sum(p["violated_count"] for p in protocols_out)
+
+    return json.dumps({
+        "ok": verify_result.ok,
+        "protocols": protocols_out,
+        "lean4_output": lean4_lines,
+        "summary": {
+            "protocol_count": len(protocols_out),
+            "total_passed": total_passed,
+            "total_violated": total_violated,
+            "parse_errors": verify_result.errors,
+        },
+    }, indent=2)
+
+
+# ---------------------------------------------------------------------------
+# Tool 4: lu_list_templates
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool()
+async def lu_list_templates(category: str = "") -> str:
+    """List available Lingua Universale standard library protocol templates.
+
+    The standard library contains 20 verified protocols across 5 categories:
+    communication, data, business, ai_ml, security.
+
+    Args:
+        category: Optional filter. One of: communication, data, business,
+            ai_ml, security. Leave empty to list all templates.
+
+    Returns:
+        JSON string with:
+          ok (bool), templates (list), category_filter (str), total (int).
+          Each template has: name, category, description.
+    """
+    from pathlib import Path  # noqa: PLC0415
+
+    try:
+        from cervellaswarm_lingua_universale._init_project import (  # noqa: PLC0415
+            list_templates,
+            _STDLIB_DIR,
+        )
+    except ImportError as exc:
+        return json.dumps({"ok": False, "error": str(exc)})
+
+    # Category descriptions for context
+    _CATEGORY_DESCRIPTIONS: dict[str, str] = {
+        "communication": "Fundamental messaging patterns (request/response, pub/sub, scatter/gather)",
+        "data": "Data management protocols (CRUD, sync, cache invalidation)",
+        "business": "Business workflow patterns (approval, auction, saga, two-buyer)",
+        "ai_ml": "AI/ML agent protocols (RAG, delegation, tool calling, human-in-loop, consensus)",
+        "security": "Security protocols (auth handshake, mutual TLS, rate limiting)",
+    }
+
+    # Property highlights per template (hand-curated from stdlib README)
+    _TEMPLATE_HIGHLIGHTS: dict[str, str] = {
+        "request_response": "always terminates, no deadlock",
+        "ping_pong": "always terminates, no deadlock",
+        "pub_sub": "all roles participate",
+        "scatter_gather": "all roles participate",
+        "pipeline": "ordering (source -> processor -> transformer -> sink)",
+        "crud_safe": "no deletion, all roles participate",
+        "data_sync": "ordering (primary before replica)",
+        "cache_invalidation": "choice (hit/miss), all roles participate",
+        "two_buyer": "MPST canonical (Honda/Yoshida POPL 2008)",
+        "approval_workflow": "role exclusive (only approver decides)",
+        "auction": "choice (sold/unsold)",
+        "saga_order": "distributed transaction, ordering",
+        "rag_pipeline": "ordering (retrieval before generation)",
+        "agent_delegation": "trust >= standard, ordering",
+        "tool_calling": "ordering (registry before executor)",
+        "human_in_loop": "role exclusive (only human decides)",
+        "consensus": "all roles participate, confidence >= medium",
+        "auth_handshake": "ordering, exclusion (client cannot send token)",
+        "mutual_tls": "all roles participate, ordering",
+        "rate_limited_api": "role exclusive (only limiter throttles)",
+    }
+
+    all_names = list_templates()
+
+    templates: list[dict[str, str]] = []
+    for name in all_names:
+        # Determine category from path
+        cat = ""
+        for category_dir in _STDLIB_DIR.iterdir():
+            if category_dir.is_dir():
+                if (category_dir / f"{name}.lu").exists():
+                    cat = category_dir.name
+                    break
+
+        # Apply filter if provided
+        if category and cat != category:
+            continue
+
+        templates.append({
+            "name": name,
+            "category": cat,
+            "description": _TEMPLATE_HIGHLIGHTS.get(name, ""),
+            "usage": f"lu init my-project --template {name}",
+        })
+
+    categories_present = sorted({t["category"] for t in templates})
+
+    return json.dumps({
+        "ok": True,
+        "templates": templates,
+        "category_filter": category or "all",
+        "total": len(templates),
+        "categories": {
+            c: _CATEGORY_DESCRIPTIONS.get(c, c) for c in categories_present
+        },
+    }, indent=2)
+
+
+# ---------------------------------------------------------------------------
+# Entrypoint
+# ---------------------------------------------------------------------------
+
+
+def main() -> None:
+    """Run the MCP server (stdio transport)."""
+    mcp.run()
+
+
+if __name__ == "__main__":
+    main()

lu_mcp_server-0.1.0/pyproject.toml

@@ -0,0 +1,40 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "lu-mcp-server"
+version = "0.1.0"
+description = "MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types"
+readme = "README.md"
+license = "Apache-2.0"
+requires-python = ">=3.10"
+authors = [{name = "CervellaSwarm", email = "noreply@cervellaswarm.com"}]
+keywords = ["mcp", "session-types", "protocol-verification", "ai-agents", "formal-methods"]
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Intended Audience :: Developers",
+    "License :: OSI Approved :: Apache Software License",
+    "Programming Language :: Python :: 3",
+    "Topic :: Scientific/Engineering :: Artificial Intelligence",
+    "Topic :: Software Development :: Quality Assurance",
+]
+dependencies = [
+    "cervellaswarm-lingua-universale>=0.3.3",
+    "mcp[cli]>=1.0.0",
+]
+
+[project.optional-dependencies]
+test = ["pytest>=7.0"]
+
+[project.urls]
+Homepage = "https://github.com/rafapra3008/cervellaswarm"
+Documentation = "https://rafapra3008.github.io/cervellaswarm/"
+Repository = "https://github.com/rafapra3008/cervellaswarm"
+Issues = "https://github.com/rafapra3008/cervellaswarm/issues"
+
+[project.scripts]
+lu-mcp-server = "lu_mcp_server:main"
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]

lu_mcp_server-0.1.0/tests/test_smoke.py

@@ -0,0 +1,147 @@
+# SPDX-License-Identifier: Apache-2.0
+"""Smoke tests for lu-mcp-server."""
+
+from __future__ import annotations
+
+import json
+
+
+def test_import():
+    """Module imports without error."""
+    import lu_mcp_server  # noqa: F401
+
+
+def test_version():
+    """Package exposes __version__."""
+    from lu_mcp_server import __version__
+    assert isinstance(__version__, str)
+    assert "." in __version__
+
+
+def test_main_exists():
+    """Entry point function exists."""
+    from lu_mcp_server import main
+    assert callable(main)
+
+
+def test_mcp_server_instance():
+    """FastMCP server is created with correct name."""
+    from lu_mcp_server import mcp
+    assert mcp.name == "lingua-universale"
+
+
+def test_require_lu():
+    """Helper returns the LU module."""
+    from lu_mcp_server import _require_lu
+    lu = _require_lu()
+    assert hasattr(lu, "check_source")
+    assert hasattr(lu, "SessionChecker")
+
+
+def test_steps_to_list_empty():
+    """Empty step list returns empty list."""
+    from lu_mcp_server import _steps_to_list
+    assert _steps_to_list([]) == []
+
+
+def test_tool_lu_load_protocol():
+    """lu_load_protocol parses a simple protocol."""
+    import asyncio
+    from lu_mcp_server import lu_load_protocol
+
+    protocol = (
+        "protocol Ping:\n"
+        "    roles: a, b\n"
+        "    a asks b to ping\n"
+        "    b returns pong to a\n"
+        "    properties:\n"
+        "        always terminates\n"
+    )
+    result = json.loads(asyncio.run(lu_load_protocol(protocol)))
+    assert result["ok"] is True
+    assert result["protocols"][0]["name"] == "Ping"
+    assert len(result["protocols"][0]["roles"]) == 2
+
+
+def test_tool_lu_check_properties():
+    """lu_check_properties verifies safety properties."""
+    import asyncio
+    from lu_mcp_server import lu_check_properties
+
+    protocol = (
+        "protocol Safe:\n"
+        "    roles: x, y\n"
+        "    x asks y to do thing\n"
+        "    y returns result to x\n"
+        "    properties:\n"
+        "        always terminates\n"
+        "        no deadlock\n"
+    )
+    result = json.loads(asyncio.run(lu_check_properties(protocol)))
+    assert result["ok"] is True
+    assert result["summary"]["total_violated"] == 0
+
+
+def test_tool_lu_list_templates():
+    """lu_list_templates returns standard library templates."""
+    import asyncio
+    from lu_mcp_server import lu_list_templates
+
+    result = json.loads(asyncio.run(lu_list_templates()))
+    assert result["ok"] is True
+    assert result["total"] == 20
+
+
+def test_tool_lu_list_templates_filtered():
+    """lu_list_templates filters by category."""
+    import asyncio
+    from lu_mcp_server import lu_list_templates
+
+    result = json.loads(asyncio.run(lu_list_templates(category="security")))
+    assert result["ok"] is True
+    assert result["total"] == 3
+    assert all(t["category"] == "security" for t in result["templates"])
+
+
+def test_tool_lu_verify_message_invalid_action():
+    """lu_verify_message returns error for unknown action."""
+    import asyncio
+    from lu_mcp_server import lu_verify_message
+
+    protocol = (
+        "protocol PingPong:\n"
+        "    roles: a, b\n"
+        "    a asks b to ping\n"
+        "    b returns pong to a\n"
+        "    properties:\n"
+        "        always terminates\n"
+    )
+    result = json.loads(asyncio.run(lu_verify_message(
+        protocol_text=protocol,
+        messages=[],
+        next_message={"sender": "a", "receiver": "b", "action": "invalid"},
+    )))
+    assert result["valid"] is False
+    assert "error" in result
+
+
+def test_tool_lu_verify_message_no_protocol():
+    """lu_verify_message returns error when no protocol found."""
+    import asyncio
+    from lu_mcp_server import lu_verify_message
+
+    result = json.loads(asyncio.run(lu_verify_message(
+        protocol_text="not a protocol",
+        messages=[],
+        next_message={"sender": "a", "receiver": "b", "action": "asks"},
+    )))
+    assert result["valid"] is False
+
+
+def test_tool_lu_load_protocol_invalid():
+    """lu_load_protocol returns error for invalid input."""
+    import asyncio
+    from lu_mcp_server import lu_load_protocol
+
+    result = json.loads(asyncio.run(lu_load_protocol("not a protocol")))
+    assert result["ok"] is False