"author:awwaiid" matching MCP servers:

• TaskWarrior MCP Server

  awwaiid

  A

  security

  A

  license

  -

  quality

  Node.js server implementing Model Context Protocol that enables interaction with TaskWarrior through natural language to view, filter, add, and complete tasks.

  Last updated 17 days ago

  3

  63

  45

  MIT

• MCP Server for Alloy Modeling

  awwaiid

  A

  security

  A

  license

  -

  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 6 months ago

  1

  MIT