Related Servers

No user-submitted related servers found.

Related Servers

• FEA

  surajse

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables agents to turn authorized software artifacts into verified working reimplementations through behavioral capture, clean-room synthesis, differential parity verification, and evidence-pack export. It supports CLI binaries and HTTP APIs, with policy controls and vector fuzzing.

  Updated 2 days ago (2026-10-17 05:46 UTC)

  MIT

• Dev MCP Server

  powerducklab

  A

  license

  -Not graded

  quality

  B

  maintenance

  Gives AI coding agents dereferenced OpenAPI facts about the backend being implemented, and verifies that implementation against a local server via ping probes, single requests, contract tests, and ordered multi-step scenarios with extraction and assertions. It also spins up loopback mocks for missing dependencies and derives a relational data model from the spec, reconciling it with optional live database evidence and emitting additive SQL that is never executed.

  Updated 4 days ago (2026-10-15 14:58 UTC)

  1,065 npm

  MIT

• facts-mcp

  Yesid8

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables precise measurement of live HTTP and WebSocket services while maintaining an append-only, evidence-based ledger of claims that agents can query with explicit timestamps, staleness indicators, and instructions for re-verification.

  Updated 12 days ago (2026-10-07 19:22 UTC)

  BSD Zero Clause

• Soma MCP Server

  medianemi-beep

  A

  license

  A

  quality

  C

  maintenance

  Enables running code against tests in an isolated sandbox to obtain PASS/FAIL verdicts with signed, offline-checkable certificates, and generating verified code with attached certificates after execution against derived tests.

  Updated 2 months ago (2026-08-22 18:37 UTC)

  2

  21 npm

  MIT

• flameox

  LucaHoward64253

  F

  license

  -Not graded

  quality

  A

  maintenance

  Enables coding agents to turn explicit artifact paths or argv commands into bounded runtime evidence by coordinating profilers, benchmark tools, trace processors, and direct local targets through named analysis and capture MCP tools. Results are returned inline with provenance, coverage, limitations, and optional durable evidence IDs for inspection and replay.

  Updated 5 days ago (2026-10-14 15:49 UTC)

  -

• Veris

  vighriday

  A

  license

  A

  quality

  A

  maintenance

  Behavioral verification intelligence for AI coding agents. Reads a TypeScript or JavaScript repo, clusters functions into 25 semantic workflows (Authentication, Payments, Webhooks, Caching, Queue, and more), and emits concrete adversarial probes per workflow. 17 MCP tools, local SQLite state, zero cloud.

  Updated a month ago (2026-09-07 19:50 UTC)

  17

  88 npm

  1

  MIT