io.github.mifactory-bot/mifactory-logic-verifier

MCPcommunauté
v1.0.3io.github.mifactory-botUnknownMis à jour il y a 7 moisnpmGitHub

Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.

This MCP Server provides tools to verify logical consistency of reasoning blocks and chains using Anthropic Claude. - Free health check endpoint. - Verify a single reasoning block. Costs $0.02 via Stripe. - Verify an array of reasoning steps sequentially. Costs $0.05 via Stripe. Call Volume | Price per call | -------------|----------------| 100 calls | +$21 USD | 1,000 calls | +$210 USD | 10,000…

Fonctionne dans
ClaudeCursorCopilotGemini

Déduit des transports déclarés par cette annonce (stdio). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.

Indexé automatiquement depuis des sources publiques. Pas encore vérifié par son développeur sur Forge.Revendiquer cette annonce →
il y a 7 moisDernière mise à jour
Paquet
Auteurio.github.mifactory-bot
LicenceUnknown
Version1.0.3
Sourcemcp-registry
npm@mifactory-bot/logic-verifier
GitHubmifactory-bot/mifactory-logic-verifier
SBOMCycloneDX 1.6 ↓
Statut de confiance
B
60/100Bon
✓Listé dans l’index Forge+10/10
—Identité de l’éditeur vérifiée+0/20
→ Éditeur : exécutez `forge publish` depuis le dépôt du paquet pour revendiquer la propriété
—Signature de publication Ed25519+0/5
→ Incluse automatiquement quand l’éditeur exécute `forge publish`
—Vérification de domaine+0/5
→ Éditeur : hébergez /.well-known/forge.json sur la page d’accueil du paquet avec { "publisher": "<github-login>" }
—npm Trusted Publishing (Sigstore)+0/5
→ Publiez depuis GitHub Actions avec --provenance pour que l’attestation lie ce paquet à ce dépôt
—Correspondance de mainteneur npm+0/5
→ Acquis dès que votre identité est vérifiée ci-dessus et que ce login est mainteneur npm de ce paquet
✓Analyse CVE · propre+30/30
✓Analyse statique · propre+20/20
Collez-le dans Claude Code, Cursor ou tout assistant d’IA pour combler toutes les lacunes
StatutIndexé par la communauté
ÉditeurNon vérifié
SignatureNon signé
Domaine—
Provenance—
Dépendances✓ 60 résolues+ · aucune vulnérable
Surface d’outils—
Analyse de sécurité✓ Proprev1.0.3 · il y a 3 moisQuelle est l’efficacité de cette analyse ?
ÉvaluationsAucune
Indexé13 juin 2026

La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.

Outils

Aucune déclaration d’outil trouvée dans le code source3mo ago

Forge a lu 1 fichier source de l’archive du paquet publié et n’a trouvé aucun enregistrement d’outil MCP. L’extraction repose sur des motifs appliqués au code livré : un serveur qui construit sa liste d’outils à l’exécution, ou qui ne livre que du code empaqueté ou minifié, n’enregistre rien de visible ici. À lire comme « non détecté », pas comme « n’en expose aucun ».

À propos

This MCP Server provides tools to verify logical consistency of reasoning blocks and chains using Anthropic Claude. - Free health check endpoint. - Verify a single reasoning block. Costs $0.02 via Stripe. - Verify an array of reasoning steps sequentially. Costs $0.05 via Stripe. Call Volume | Price per call | -------------|----------------| 100 calls | +$21 USD | 1,000 calls | +$210 USD | 10,000 calls| +$2,100 USD | Use HTTP header with your API key. POST endpoints require for Stripe payment.

Mots-clés
mcp
Alternatives
Comparaison des surfaces d’outils…

Aucune couverture des dépendances

Ce paquet a été analysé pour la dernière fois avant que Forge ne commence à stocker l'arbre résolu. La prochaine analyse l'enregistrera.