Skip to main content
Glama
Sign In
socrates

socrates

by Owxessus
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to socrates

No user-submitted related servers found.

    Related Servers

    • Rework

      Santhosh-Stalin
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI agents to replace self-reported done checkboxes with verified, evidence-based completion tracking, using automated FAIL_TO_PASS/PASS_TO_PASS tests, mandatory mutation checking, and explicit human/AI reviews when automated proof is impossible.
      1
      MIT

    • bug-manager

      shenlan-ai
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables coding agents to turn human-verified development failures into reusable bug knowledge and executable acceptance standards, then generate graded verification plans and record structured evidence for human review.
      MIT

    • platao

      Owxessus
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables coding agents to run deterministic completeness audits on code before declaring 'done'—catching unwired modules, placebo tests, swallowed errors, and stubs via AST analysis, entirely offline and free.
      MIT

    • bitecheck

      tejgokani
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables an agent to verify its own work mid-task by deliberately breaking each changed line, re-running the test suite in isolated workers, and reporting which breaks no test catches, along with a plan tool that previews which changed lines would be checked.
      MIT

    This server cannot be deployed

    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

    Maintenance

    ActivitySlowing
    ResponsivenessSyncing

    Resources