Skip to main content
Glama

Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing MCP tools

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

68,595 tools. Last updated 2026-02-03 16:28
  • Browse available templates for AI development loops including REST API development, testing, refactoring, bug fixing, documentation, and performance optimization with suggested settings.
    MIT
  • Deploy smart contracts to Hedera networks with auto-detection of project frameworks, constructor argument support, and automatic verification on HashScan.
    Apache 2.0
  • Execute secure Git pushes with AI-driven credential detection, file filtering, and deployment metrics tracking. Requires test results from AI-executed tests for proper deployment validation.
    MIT
  • Automate secure git pushes with AI-driven credential detection, file filtering, and deployment tracking. Execute AI-run tests to validate changes and ensure compliance before deployment.
    MIT

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers