Mulder – Containerized MCP server for digital forensics investigations
Evidence citation validation stops AI from hallucinating forensic findings.
Tamper-evident audit logging with cryptographic verification.
Cryptographic proof audit logs can't be rewritten, even by DB admins.
Compliance engineers, security teams, high-assurance application builders
Merkle-based audit systems · Verifact
Evidence citation validation stops AI from hallucinating forensic findings.
SHA-256 chained audit logs with embeddable activity feed for customer trust.
Merkle Mountain Range ledger proves AI agents can't retroactively fake logs—novel crypto primitive.
Fail-closed MCP gateway with formal verification and MCPSEC benchmark suite.
Cryptographic audit chain for agents, but lacks observability dashboards competing tools provide.
Instead of another observability dashboard, this project builds a provable audit trail: an OpenAI-compatible reverse proxy that vaults prompts in MinIO and links calls with an HMAC-SHA256 tamper-evident chain, plus replay tooling (replayctl) and Jaeger traces. The cryptographic audit chain and the one-line SDK wrap are clever and practical; the real operational work left to teams will be key management and storage/retention strategy.