1. Conduid
  2. Developer Tools
  3. Veriquant
MCP server · Developer Tools

Veriquant

by · github.com/MichaelLui7/veriquant

Dafny-verified risk gateway + Ray distributed backtesting + CLI/MCP agent

Unclaimed devtools
InstallView source
34Low

Scored 11 days ago · breakdown

About Veriquant

Veriquant is an MCP server published by MichaelLui7 in the Developer Tools category: dafny-verified risk gateway + Ray distributed backtesting + CLI/MCP agent.

The repository has 4 stars and 0 forks, with the last commit 4 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/MichaelLui7/veriquant

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Veriquant

Powered by Claude · Grounded in docs

I know everything about Veriquant. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Veriquant

How do I install Veriquant?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Veriquant safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Veriquant still maintained?

Yes — the last commit was 4 days ago. The repository has 4 stars and 0 forks.