Skip to main content
Glama
29,909 servers. Last updated

"author:jhlee0409" matching MCP servers:

  • A
    license
    A
    quality
    B
    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
    19
    4
    MIT