Skip to main content
Glama
59,861 servers. Last updated

"author:jhlee0409" matching MCP servers:

  • A
    license
    A
    quality
    C
    maintenance
    An adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.
    Last updated
    36
    10
    4
    MIT