Skip to content
Back to the index

rei-verify

PyPIInfrastructure

PulseGate's liveness check found it on 3 Oct 2026; it is registered on GitHub and PyPI and has been in the index since 18 Aug 2026. How this is checked

rei-verify is an MIT-licensed Python package providing Verdict, IncompleteMarker, AuditChain, and VerifiedExecution primitives for verification and refutation workflows. It also includes an MCP wrapper for integrating these capabilities with model-context-protocol systems.

Inferred · not functionally tested

Open SourceMITCLISelf-hostedAPI
Visit PyPI

Overview

6 features

Purpose: Making AI reasoning and execution auditable, verifiable, and explicit about incomplete results.

Inferred · not functionally tested

Audience: AI and verification developers

Inferred · not functionally tested

Functions: agents

Inferred · not functionally tested

Interfaces: API: indicated (inferred, not tested) · MCP: indicated (inferred, not tested) · CLI: indicated (inferred, not tested) · Self-hosting: indicated (inferred, not tested)

Recorded constraints: pricing: open_source · license: MIT · platforms: CLI · deployment: cli, self_hosted, api_only

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: pypi.org · github.com. These links do not verify the individual claims.

rei-verify sits in PulseGate's AI security & guardrails category. Inferred · not functionally tested: It focuses on making AI reasoning and execution auditable, verifiable, and explicit about incomplete results. Inferred · not functionally tested: It is built as an open-source project for AI and verification developers. Basis unknown · not verified: rei-verify is open source under the MIT license. Basis unknown · not verified: It ships for the command line and API, and it can be self-hosted.

It is developed by fc0web, and it first shipped in 2026. The project is developed in the open on GitHub with 8 commits in the last 90 days. Inferred · not functionally tested: Among its 6 catalogued features are verdict primitives, incomplete markers, and audit chains. Inferred · not functionally tested: Catalogued interfaces include an MCP server.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • Verdict primitives
  • Incomplete markers
  • Audit chains
  • Verified execution
  • Refutation workflows
  • MCP wrapper

Topics: Inferred · not functionally tested

Tags
ai-verificationrefutation-engineaudit-chainverified-executionmcp-wrapper
AI capabilities
StructuredText
Inference: Local

JSON profile · Text profile · Access guide

Built with & integrations

Connectors
MCP
Runs on
CLISelf-hostedAPI-only

Trust & compliance

License
MIT
Public signals
HTTPSOpen SourceGitHubActive maintenance

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed18 Aug · 23:58 UTC
    rei-verify seen via PyPI Bulk Enumerator
    Source: PyPI Bulk Enumerator · Open

Frequently asked questions about rei-verify

What does rei-verify do?
Inferred · not functionally tested: Rei-verify focuses on making AI reasoning and execution auditable, verifiable, and explicit about incomplete results. It is catalogued under AI security & guardrails on PulseGate.
Who is rei-verify for?
Inferred · not functionally tested: rei-verify is an open-source project built for AI and verification developers.
Does rei-verify have a free plan?
Basis unknown · not verified: Yes — rei-verify is open source under the MIT license and free to use.
What platforms does rei-verify run on?
Basis unknown · not verified: rei-verify runs on the command line and API. It can also be self-hosted.
Is rei-verify still maintained?
PulseGate's liveness check found it on 3 Oct 2026. Its GitHub repository shows 8 commits in the last 90 days.
What are alternatives to rei-verify?
Similar projects tracked by PulseGate include reverify, verievals, and er1-verify.reverifyverievalser1-verify
Who makes rei-verify?
rei-verify is developed by fc0web.
When did rei-verify launch?
rei-verify first shipped in 2026.

Similar projects

Closest matches by what these projects do