Evaluation report

• Repository is reachable

  https://github.com/yogthos/chiasmus @ 576ed38 — ★ 198 · TypeScript · Apache-2.0 · last push 12 days ago

• Manifest detected

  kind=mcp slug=chiasmus · source=package.json

• Slug is URL-safe

  "chiasmus" matches /^[a-z0-9][a-z0-9-]{0,62}$/

• Slug is unique within kind

  No collision found for mcp/chiasmus

• Version is semver

  0.1.24

• Description quality

  14 words · 97 chars — OK but more detail helps

• README is present and substantial

  21,408 chars · 9 sections · 27 code blocks

• Tags / topics declared

  16 total — mcp, z3, prolog, formal-verification, neurosymbolic, smt (+10)

• README has usage / example sections

  found: Example · Quick Start

• Homepage / docs URL declared

  https://github.com/yogthos/chiasmus#readme

• Dependencies: known vulnerabilitieswarn

  2 high/critical advisories — @modelcontextprotocol/[email protected] (HIGH: GHSA-8r9q-7v3j-jr4g) · @modelcontextprotocol/[email protected] (HIGH: GHSA-w48q-cv73-mx4w)

  Update the affected packages, then re-publish. (`npm audit` shows the same data locally.)

• LICENSE file at repo root

  LICENSE

• No sensitive files in the repo

  scanned for .env, credentials.json, *.pem, .ssh/, AWS / GCP configs — none found

• MCP: launch path

  bin: chiasmus

• MCP: @modelcontextprotocol/sdk in dependencies

  pinned at "^1.0.0"

• MCP: SDK version pinned

  pinned at "^1.0.0"

• MCP: ESM package

  "type": "module"

• MCP: server surface

  0 tools

• Recent activity

  last push 12 days ago

• Tests detected

  2 test directories · 85 test files

• CI configuration detected

  GitHub Actions (1 workflows)

This artifact hasn't produced behavioral results yet: the evaluation sandbox couldn't run it (it may need credentials we don't provide, or a build our environment doesn't support). That's a limitation of our environment, not a verdict on the artifact.