Trust Engine/MCP Server

rikarazome/prolog-reasoner

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

8 starsPythonMITanthropicclaudellmlogic-programming
REVIEWED72/100

Scanned 2026-06-08 · gemini v1

Dimension breakdown

Security

30/100

3 findings

Quality

92/100

2 findings

License

85/100

2 findings

Completeness

90/100

1 finding

Findings (8)

CRITICAL: 1HIGH: 1MEDIUM: 1LOW: 3INFO: 2
  • CRITICALsecurityArbitrary Code Execution / Command Injection via Unsandboxed Prolog Execution
  • HIGHsecurityUnrestricted File Operations via Rule Bases
  • MEDIUMsecurityLack of Access Control for Rule Base Management
  • LOWqualityIncorrect Copyright Year in License
  • LOWlicenseInconsistent Copyright Holder and Future Date in LICENSE file

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/rikarazome/prolog-reasoner.svg)](https://archimedes.market/r/rikarazome/prolog-reasoner)

HTML

<a href="https://archimedes.market/r/rikarazome/prolog-reasoner"><img src="https://archimedes.market/api/badge/rikarazome/prolog-reasoner.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

rikarazome/prolog-reasoner — Archimedes Trust | Archimedes