Related Servers

No user-submitted related servers found.

Related Servers

• edict-lang

  Sowiedu

  A

  license

  C

  quality

  B

  maintenance

  Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

  Updated 9 days ago (2026-08-15 07:33 UTC)

  22

  106

  10

  MIT
• 

  CodexRun Ledger MCPofficial

  clauxel

  F

  license

  -Not graded

  quality

  D

  maintenance

  Paid remote MCP for generating trustworthy code run receipts, scope summaries, missing evidence checks, and client handoff exports.

  Updated 3 months ago (2026-05-19 09:43 UTC)

• CLI Anything Hub MCP

  clauxel

  F

  license

  -Not graded

  quality

  D

  maintenance

  Paid remote MCP server enabling CLI tool execution with structured receipts, usage logs, and audit-ready evidence for agent and CI workflows.

  Updated 3 months ago (2026-05-21 06:42 UTC)

  1

• FastMCP Runtime MCP

  clauxel

  F

  license

  -Not graded

  quality

  D

  maintenance

  Paid remote MCP for hosted MCP server providing structured receipts, usage logs, and audit-ready evidence for agent and CI workflows.

  Updated 3 months ago (2026-05-21 06:40 UTC)

• Skybridge App Packager MCP

  clauxel

  F

  license

  -Not graded

  quality

  B

  maintenance

  Paid remote MCP for Skybridge that packages apps, validates schemas, runs compatibility tests, and exports manifests with audit-ready JSON evidence.

  Updated 3 months ago (2026-05-26 15:47 UTC)

• evm-agent-toolkit

  0xendale

  A

  license

  A

  quality

  B

  maintenance

  An MCP server that gives autonomous coding agents deterministic, schema-validated tools for EVM smart contract development — security scanning, gas profiling, compiler diagnostics, and transaction simulation.

  Updated a month ago (2026-07-13 02:17 UTC)

  9

  1

  MIT