Trust Engine/MCP Server

Chimera-Protocol/csl-core

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

15 starsPythonApache-2.0agent-frameworkai-governanceai-safetydeterministic-ai
REVIEWED80/100

Scanned 2026-07-07 · gemini v1

Dimension breakdown

Security

45/100

4 findings

Quality

95/100

1 finding

License

90/100

1 finding

Completeness

100/100

No findings

Findings (6)

HIGH: 1MEDIUM: 2LOW: 2INFO: 1
  • HIGHsecurityPotential Command Injection via TLA+ Formal Verification
  • MEDIUMsecurityPotential Path Traversal in File Operations
  • MEDIUMsecuritySupply Chain Risk from Auto-Downloaded TLA+ JAR
  • LOWsecurityPotential Unsafe Deserialization of JSON Input
  • LOWqualityFuture Copyright Year in License

Detailed file:line citations + recommended fixes are visible to the maintainer of this repo after claiming the listing.

Maintainer of this repo?

Claim this listing in 30 seconds with GitHub OAuth. You'll see detailed findings, get notified about matched bounties, and can trigger re-scans on demand.

Claim listing

Embed the badge.

Drop it into your README. Every view backlinks to this verification page.

Trust badge — flat styleTrust badge — for-the-badge style

Markdown

[![Archimedes Trust](https://archimedes.market/api/badge/Chimera-Protocol/csl-core.svg)](https://archimedes.market/r/Chimera-Protocol/csl-core)

HTML

<a href="https://archimedes.market/r/Chimera-Protocol/csl-core"><img src="https://archimedes.market/api/badge/Chimera-Protocol/csl-core.svg" alt="Archimedes Trust Verified"/></a>

Browse bounties

Find paid engineering work matching this skill set

Verify another repo

Free, 30 seconds

MCP integration

Surface bounties + verified engineers via MCP