resources-or-tools-for-modeling MCP servers

"resources-or-tools-for-modeling" matching MCP servers:

• MCP Server for Alloy Modeling

  awwaiid

  A

  security

  A

  license

  A

  quality

  Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

  Last updated 4 months ago

  1

  MIT

• Call For Papers MCP

  alperenkocyigit

  -

  security

  A

  license

  -

  quality

  Enables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.

  Last updated 3 months ago

  4

  GPL 3.0

• UX/UI Tools for React +

  MarcusViniciusBarcelos

  A

  security

  A

  license

  A

  quality

  Provides AI-powered tools to apply UX/UI best practices, Nielsen's heuristics, cognitive biases, and Material-UI patterns to React components. Enables automated application of responsive design, Apple design patterns, and complete UX guidelines through natural language commands.

  Last updated 4 months ago

  7

  10

  3

  MIT

• Managed Service for Microsoft

  ag2-mcp-servers

  -

  security

  F

  license

  -

  quality

  An MCP (Multi-Agent Conversation Protocol) server that enables interaction with Google's Managed Service for Microsoft Active Directory through its OpenAPI, allowing users to manage identity resources through natural language.

  Last updated 7 months ago

• mcp-server-for-apache-ofbiz

  jacopoc

  A

  security

  A

  license

  A

  quality

  A proof of concept MCP server for Apache OFBiz

  Last updated 9 days ago

  5

  Apache 2.0

• MCP Tools for Obsidian

  jacksteamdev

  -

  security

  A

  license

  -

  quality

  A local MCP server that enables AI applications like Claude Desktop to securely access and work with Obsidian vaults, providing capabilities for reading notes, executing templates, and performing semantic searches.

  Last updated 7 months ago

  563

  MIT