Search results

Supply chain integration: Sigil attestations + SBOM/AIBOM + Rivet traceability bridge

enhancementNew feature or requestNew feature or request

Status: Open.

#107 In pulseengine/rivet;

· avrabe opened on Apr 2, 2026

AI code provenance tracking: AIBOM integration and AI-generated artifact audit trail

enhancementNew feature or requestNew feature or request

Status: Open.

#104 In pulseengine/rivet;

· avrabe opened on Apr 2, 2026

EU AI Act compliance schema (schemas/eu-ai-act.yaml) — high-risk AI system documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#99 In pulseengine/rivet;

· avrabe opened on Apr 1, 2026

MCP server: expose Rivet tools, resources, and prompts via Model Context Protocol

enhancementNew feature or requestNew feature or request

Status: Open.

#98 In pulseengine/rivet;

· avrabe opened on Apr 1, 2026

Spec-driven development: schema packages, bridges, guide API, CRUD CLI

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In pulseengine/rivet;

· avrabe opened on Mar 30, 2026

Formal verification strategy (Kani + Verus + Rocq)

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In pulseengine/rivet;

· avrabe opened on Mar 14, 2026

rowan + salsa incremental validation architecture

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In pulseengine/rivet;

· avrabe opened on Mar 14, 2026