Skip to main content
Glama
82,836 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
    Not graded
    quality
    C
    maintenance
    Provides five rigorous reasoning protocols (debate, red team, audit_argument, threat_model, check_study) that run on the AI you're already using, requiring no extra API keys or costs.
    MIT
  • F
    license
    A
    quality
    C
    maintenance
    An MCP server that provides information about Utkarsh, including bio, skills, work experience, and portfolio projects, accessible via local stdio or remote HTTP with OAuth.
    6
    -
  • F
    license
    Not graded
    quality
    D
    maintenance
    Enables Claude to function as a full-stack software engineer with comprehensive development capabilities including project creation, database management, frontend/backend development, testing, deployment, and DevOps operations across multiple frameworks and technologies.
    -
  • A
    license
    A
    quality
    A
    maintenance
    Provides software design guidance via MCP, including SOLID principles, design patterns, pattern scaffolding, and heuristic code-smell detection to help review and refactor code.
    4
    55
    MIT
  • A
    license
    D
    quality
    D
    maintenance
    A sophisticated MCP server that provides a multi-dimensional, adaptive reasoning framework for AI assistants, replacing linear reasoning with a graph-based architecture for more nuanced cognitive processes.
    1
    81
    34
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Persistent sequential thinking for MCP clients, stored durably on Cloudflare Workers with support for branching, revision, and history retrieval.
    1
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Structures debugging processes into a persistent knowledge graph, enabling problem decomposition, hypothesis testing, and reusable solution discovery.
    1
    22
    4
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    A structured, persistent reasoning workspace for AI. 20 tools for thought chains, branching, revision, search, tagging, and SQLite session persistence that survives context window resets and server restarts.
    20
    79
    2
    MIT
  • -
    license
    A
    quality
    Not graded
    maintenance
    Provides comprehensive development tools for FastMCP projects including documentation access, NPM package version management, and TypeScript type definitions retrieval. Enables developers to fetch FastMCP documentation, analyze NPM packages, and access MCP architecture information through natural language.
    6
    -
  • 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