Skip to main content
Glama
SamSoupSauce

deterministic-logic

by SamSoupSauce
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Local

Related Servers

Alternatives to deterministic-logic

No user-submitted related servers found.

    Related Servers

    • decision-table

      tetracoralla
      A
      license
      Not graded
      quality
      A
      maintenance
      Provides deterministic decision and constraint evaluation for AI agents. Supports ruleset validation, fact evaluation, and constraint checking via MCP tools.
      Apache 2.0

    • Verified Technical Solver

      ASVLCII
      A
      license
      Not graded
      quality
      C
      maintenance
      Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
      MIT
    • aethis-mcp by Aethis-ai

      aethis-mcpofficial

      Aethis-ai
      A
      license
      A
      quality
      A
      maintenance
      Enables clients to run deterministic eligibility and decision evaluations from compiled legislation, policy, contracts, and regulation, inspect schemas and traces, route next questions, and discover rulesets, with optional private-beta authoring tools for rule generation, testing, refining, and publishing.
      35
      632 npm
      1
      MIT

    • ariadnet

      aqalalwa
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables MCP clients and AI agents to solve interdependent-variable domains deterministically by deriving implied values, catching contradictions, planning the smallest set of inputs to ask for, and explaining every result with provenance.
      1
      MIT

    • Logic-Thinking MCP Server

      quanticsoul4772
      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

    • MCP Logic

      autonull
      F
      license
      A
      quality
      D
      maintenance
      Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
      13
      4
      -
    Deploy Server
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    TDQS

    A3.7/5.0

    Scored across 8 tools

    Disambiguation5/5

    Each tool targets a distinct aspect of logic and state machine analysis: boolean logic evaluation, truth table generation, SAT solving, JSON logic evaluation, decision table analysis, FSM analysis, reachability, and simulation. No significant overlap.

    Naming Consistency5/5

    All tools follow a consistent verb_noun pattern (evaluate_boolean, generate_truth_table, solve_sat, etc.), with clear verbs and specific nouns. The naming is predictable and easy to understand.

    Tool Count5/5

    Eight tools is well-scoped for the domain, covering boolean logic, SAT, JSON logic, decision tables, and state machines without being too few or too many. Each tool serves a clear purpose.

    Completeness4/5

    The tool surface covers core operations for boolean logic (evaluate, truth table, SAT) and state machines (analysis, reachability, simulation). Minor gaps exist (e.g., no JSON logic validation, no state machine minimization) but do not hinder primary workflows.

    Maintenance

    ActivityStale
    ResponsivenessNo issues

    Resources