loading…
Search for a command to run...
loading…
Side-by-side comparison of two Model Context Protocol servers. Pick the right one for Claude Desktop, Claude Code, or Cursor.
Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templat
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
| Feature | Lu Server | AWS KB Retrieval |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | — |
| Rating | — | — |
| Verified | — | |
| Hosted | Hosted | — |
| Tools | — | — |
| Category | ai | ai |
| Author | rafapra3008 | modelcontextprotocol |
| Repo | rafapra3008/cervellaswarm | modelcontextprotocol/servers-archived |
Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
Looking for something else? Browse all MCPs or check trending this week.