What tools does the csl-core MCP server provide?

The tool list for csl-core has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does csl-core require an API key?

Not known. csl-core has not been successfully queried, so its authentication requirements are unverified.

Connection check local install

csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

Tools —

GitHub stars 16

Installs / wk —

Licence Apache-2.0

Transport —

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.