Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

  • formal-proof-mcp

    nickharris808
    A
    license
    -
    quality
    C
    maintenance
    MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.
    Apache 2.0

  • IDA Auto MCP

    mufeng05
    F
    license
    -
    quality
    C
    maintenance
    A headless IDA Pro MCP server that enables AI agents to automatically open, analyze, and query multiple binary files simultaneously without manual GUI interaction. It provides 36 tools for tasks like decompilation, disassembly, and cross-reference analysis through IDA's idalib library.
    11

  • mcp-edit-math

    yrannkv
    A
    license
    C
    quality
    D
    maintenance
    Architectural Gatekeeper for AI coding. Prevents "tunnel vision" bugs by forcing the AI to verify dependencies (via AST parsing) before editing files. Supports JavaScript & TypeScript. Blocks unsafe edits until the AI proves it understands the impact
    3
    Apache 2.0

  • git-auto-commit

    fundinglife
    A
    license
    -
    quality
    -
    maintenance
    Analyzes git repository changes to generate conventional commit messages and summaries using OpenAI's GPT-4o-mini. It provides detailed tracking of modified, added, and deleted files to streamline the version control process.
    15

  • mcp-npm-tools

    rog0x
    A
    license
    A
    quality
    D
    maintenance
    MCP server providing npm registry search, package details, dependency auditing, bundle size estimation, and package comparison tools for AI agents.
    5
    42
    MIT

  • rlm-tools

    stefanoshea
    A
    license
    A
    quality
    D
    maintenance
    An MCP server that provides a persistent sandbox for AI coding agents to explore codebases server-side, returning only compact summaries to reduce context consumption.
    3
    8
    MIT

  • mcp-dep-tools

    rog0x
    A
    license
    A
    quality
    D
    maintenance
    MCP server providing dependency and package management tools for AI agents. Analyze licenses, find outdated packages, visualize dependency trees, estimate bundle sizes, and audit security vulnerabilities.
    5
    38
    MIT

  • mcp-migration-tools

    simeptk
    A
    license
    A
    quality
    C
    maintenance
    Provides AI-callable tools for modernizing legacy applications, including stack detection, API contract extraction, SQL to Flyway conversion, and migration effort estimation.
    4
    MIT

  • mcp-for-programmer

    zaizaizhao
    F
    license
    C
    quality
    D
    maintenance
    A Model Context Protocol server that helps programmers understand code by providing explanations, tech stack analysis, and best practice suggestions through prompt templates.
    3
    8
    1

  • mcp-lint-tools

    rog0x
    A
    license
    -
    quality
    D
    maintenance
    Code linting and style checking tools for AI agents, exposed as an MCP server. Supports style checks, naming conventions, complexity analysis, dead code detection, and import analysis.
    55
    MIT

  • mcp-config-tools

    rog0x
    A
    license
    -
    quality
    D
    maintenance
    MCP server providing configuration file tools for AI agents. Parse, validate, merge, convert, and diff configuration files across all common formats.
    42
    MIT

  • ARM Verification MCP Servers

    bivex
    F
    license
    -
    quality
    D
    maintenance
    A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.

  • Gemini MCP Server for Claude

    raydollete
    A
    license
    A
    quality
    C
    maintenance
    Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.
    3
    Apache 2.0