Search results

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

Document embeds Phases 2-5: snapshots, delta, CI, diagnostics/matrix

enhancementNew feature or requestNew feature or request

Status: Open.

#92 In pulseengine/rivet;

· avrabe opened on Mar 30, 2026

Document embeds Phase 1: finish Tasks 4-6

enhancementNew feature or requestNew feature or request

Status: Open.

#91 In pulseengine/rivet;

· avrabe opened on Mar 30, 2026

Merge PR #89: oEmbed provider + JSON API endpoints

enhancementNew feature or requestNew feature or request

Status: Open.

#90 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