Skip to main content
Glama
71,934 servers. Updated

"author:Of-Arte" matching MCP servers:

  • A
    license
    -
    quality
    C
    maintenance
    An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
    MIT