Skip to main content
Glama
92,424 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools and frameworks for thinking about software development" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    A
    quality
    B
    maintenance
    Enables AI assistants to discover, retrieve, and compare official international development indicators from sources such as the World Bank, FAOSTAT, WHO, UNICEF, and IMF, while preserving source identifiers, units, and citations.
    10
    1
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
    1
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.
    109 npm
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Facilitates structured creative thinking through sequential thought processing, helping users shift from reactive problem-solving to proactive outcome creation using structural tension analysis and stage-based thinking workflows.
    1
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Facilitates structured, progressive thinking through defined cognitive stages (Problem Definition, Research, Analysis, Synthesis, Conclusion), enabling users to break down complex problems, track thought progression, and generate summaries of their thinking process.
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.
    1
    2 npm
    4
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Jewellery sizing and gemstone grading tools by FITINY. Carat-to-millimetre conversion for moissanite, diamond and cubic zirconia corrected for each stone's density — every chart online is calculated for diamond, which is wrong for moissanite by about 9%. Also covers GIA colour (D-K) and clarity (FL-SI) scales, ISO 8653 ring size conversion across US/UK/EU, necklace lengths and stud diameter.
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Facilitates spec-driven development workflows by providing structured prompts for generating requirements in EARS format, design documents, and implementation code following a systematic approach.
    39 npm
    437
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Provides deterministic tools for transforming, formatting, and inspecting structured data for AI agents.
    1 npm
    19
    Apache 2.0
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables MCP clients to connect to a privacy-first, self-hostable workout planning and training log, allowing coaching agents to preview and apply program changes while accessing training data through OAuth-protected endpoints.
    AGPL 3.0
  • A
    license
    Not graded
    quality
    A
    maintenance
    Enables AI agents to perform common utility tasks through a streamable HTTP MCP endpoint, including JSON inspection, regex testing, cron parsing, hashing, base64 encoding/decoding, URL analysis, color conversion, text diffing, CSV parsing, JWT decode/verification, Markdown-to-HTML rendering, and UUID/token generation without API keys.
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    Provides tools for AI-powered graph analysis, including relationship extraction, adjacency matrix creation, and network centrality calculations. It enables users to perform complex structural analysis and generate interactive D3.js visualizations from structured data.
    -