io.github.rikarazome/prolog-reasoner

MCPcommunity
v0.2.1io.github.rikarazomeUnknownAggiornato 4 mesi faGitHub

SWI-Prolog as a logic calculator for LLMs

SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning. LLMs excel at natural language but struggle with formal logic. Prolog excels at logical reasoning but can't process natural language. prolog-reasoner bridges this gap by exposing SWI-Prolog execution to LLMs. On the built-in 30-problem logic benchmark:…

Funziona in
ClaudeCursorCopilotGemini

Dedotto dai trasporti dichiarati da questo annuncio (stdio). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →
4 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.rikarazome
LicenzaUnknown
Versione0.2.1
Fontemcp-registry
GitHubrikarazome/prolog-reasoner
SBOMCycloneDX 1.6 ↓
Stato di fiducia
F
10/100Non affidabile
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/30
→ Publisher: esegui `forge publish` dal repo per rivendicarne la proprietà
—Verifica del dominio+0/10
→ Al momento non disponibile per questo tipo di annuncio — oggi il controllo del dominio viene eseguito solo per i pacchetti su npm, quindi questa riga non può ancora essere ottenuta qui, indipendentemente da cosa sia ospitato sul dominio.
—Analisi prompt injection · non eseguita+0/30
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
—Analisi offuscamento / esfiltrazione · non eseguita+0/20
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune
StatoIndicizzato dalla community
PublisherNon verificato
FirmaNon firmato
Dominio—
Provenienza—
DipendenzeNon verificate
Superficie di strumenti—
Analisi di sicurezzaNon eseguita
ValutazioniNessuna
Indicizzato13 giu 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

Non ancora analizzato

Forge non ha alcuna analisi registrata per questa voce, quindi non ha alcuna osservazione della sua superficie di strumenti. È assenza di prove, non prova che non esponga alcuno strumento.

Descrizione

SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning. LLMs excel at natural language but struggle with formal logic. Prolog excels at logical reasoning but can't process natural language. prolog-reasoner bridges this gap by exposing SWI-Prolog execution to LLMs. On the built-in 30-problem logic benchmark: Pipeline | Accuracy | ----------|----------| LLM-only () | 22/30 (73.3%) | LLM + prolog-reasoner |…

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…