Metadata-Version: 2.4
Name: lu-mcp-server
Version: 0.1.1
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

<!-- mcp-name: io.github.rafapra3008/lu-mcp-server -->

# 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
