Skip to main content
Glama
davidscode404

easy-crypt-mcp

by davidscode404
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to easy-crypt-mcp

No user-submitted related servers found.

    Related Servers

    • easy-crypt-mcp

      science-works
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to check and repair EasyCrypt proofs by inspecting proof states, safely trying tactics, applying accepted snippets, and searching the standard library through EasyCrypt's batch CLI.
      MIT

    • hw-verify-mcp

      nickharris808
      A
      license
      A
      quality
      C
      maintenance
      Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.
      12
      Apache 2.0
    • garl by Garl-Protocol

      garlofficial

      Garl-Protocol
      A
      license
      Not graded
      quality
      F
      maintenance
      Cryptographic verification for AI agent actions — ECDSA-secp256k1 signed Action Receipts anchored on Base, multi-dimensional trust vectors, capability tokens, and offline-verifiable on-chain proof. 29 tools.
      2
      Apache 2.0

    • BugProof MCP Server

      sidinsearch
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI agents to capture, replay, inspect, diff, share, and manage executable bug artifacts (.bug files) via the BugProof CLI, supporting 10 tools and structured prompts for debugging workflows.
      76 npm
      AGPL 3.0

    • agent-guardrail

      ss1738
      A
      license
      Not graded
      quality
      B
      maintenance
      A runtime gate for coding agents. Blocks the tool calls that wreck a repo (force-push main, rm -rf, secret exfiltration, CI wipe) and lets normal build and commit work through. Machine-checked git-branch core (z3); the rest is high-precision heuristics. Tested on 3,790 real CI commands, 0 false blocks.
      1
      MIT

    This server cannot be deployed

    Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources