lu-mcp-server

Verify AI agent communication with session types -- mathematical proofs, not trust.

claude mcp add lu-mcp-server -- lu-mcp-server

{ "mcpServers": { "lu-mcp-server": { "command": "lu-mcp-server" } } }

{ "lu-mcp-server": { "command": "lu-mcp-server" } }

Parse a.luprotocol definition and extract its structure.

Check if a message is valid in the context of an ongoing session.

Verify formal safety properties (always terminates, no deadlock, etc.).

Browse 20 standard library protocols across 5 categories.

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

This is a web browser that enables your coding agent, such as Claude Code, to visit websites on your behalf and assist you in identifying bugs or creating UI test cases.

Bring agent evaluations, observability, and synthetic test set generation directly into your IDE for free with Galileo's new MCP server

A secure sandbox for executing code in Docker containers, providing a safe environment for AI applications.

FutureAGI EvalOps MCP is a paid remote MCP endpoint for AI SDK eval dashboard. It exposes structured JSON tools, a public server card, token-based access, usage receipts, and audit-ready wor

Take screenshots and analyze mobile apps with AI assistance directly from your IDE.

Create mock MCP servers instantly for developing and testing agentic AI workflows.

An advanced penetration testing tool for automated, LLM-driven security assessments using tools like nmap and dirb.

Prompt optimization loops and regression test suites for Claude Code, with a companion web UI.

Cyber Host Artificial Intelligence (C.H.A.I) is Autonomous penetration testing MCP (Model Context Protocol) server with an integrated AI decision engine, multi-provider LLM support, and an extensible plugin architecture.

An MCP server to help AI assistants to answer questions and generate AccelByte Extend SDK code more effectively .