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

    • 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
      -
    • Agent Tools by AtmaticAI

      Agent Toolsofficial

      AtmaticAI
      A
      license
      Not graded
      quality
      B
      maintenance
      Provides deterministic tools for transforming, formatting, and inspecting structured data for AI agents.
      6 npm
      19
      Apache 2.0
    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

    ActivitySlowing
    ResponsivenessNo issues

    Resources