Loading…

Folprover MCP — Commerce MCP Server | Trust: 54/100 | Conduid

Marketplace Builders Collections Docs

Back to Marketplace

📦

Folprover MCP

MCP server for First-Order Logic provers (Vampire, E)

0 installs

1 stars

Trust: 54 — Fair

Commerce

Installation

npx folprover-mcp

Ask AI about Folprover MCP

Powered by Claude · Grounded in docs

I know everything about Folprover MCP. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Loading tools...

Reviews

Documentation

No README available

Trust & Verification

Trust Score54/100

Fair

No ConduID identity

This server hasn't registered a cryptographic identity via the ConduID Protocol yet.

Links

GitHub Repository

Details

CategoryCommerce

LicenseMIT

AuthorNewJerseyStyle

Last commit2mo ago

Weekly installs0

PricingFree

Tags

commerce mcp-server

Security Checklist

The marketplace for MCP servers. Discovery, trust, analytics, and monetization for AI agent components.

Explore

Marketplace
Collections
Top Rated
Trending

Builders

Documentation
SDK
Dashboard
API Reference

Company

GitHub
Twitter / X
Terms
Privacy

© 2026 Conduid. The trust layer for AI agent components.

Has README

Has License

Has Tests

Scoped Permissions

Pinned Dependencies

No Eval Usage