Skip to main content
Glama
egoughnour

curate-ipsum

by egoughnour
OverviewSchemaSourceRelated ServersScoreDiscussionsAdmin
Python
Local

Related Servers

Alternatives to curate-ipsum

No user-submitted related servers found.

    Related Servers

    • Chiasmus

      yogthos
      A
      license
      Not graded
      quality
      A
      maintenance
      MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
      79
      210
      Apache 2.0

    • NOESIS

      AndrewBalda01
      A
      license
      Not graded
      quality
      C
      maintenance
      A cognitive optimization engine exposed as an MCP server that amplifies LLM reasoning through self-consistency sampling, MCTS, Dung argumentation, symbolic verification, and measured confidence.
      MIT

    • MCP Solver

      swesmith-repos
      A
      license
      Not graded
      quality
      Not graded
      maintenance
      An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
      -

    • Hegelion

      Hmbown
      A
      license
      B
      quality
      C
      maintenance
      An MCP server that improves LLM reasoning through dialectical argumentation and generates verified code via a player-coach loop.
      4
      172
      MIT

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/egoughnour/curate-ipsum'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server