OPEN-SOURCE PROJECT

JevOps

endomorphosis · SDK & Decision Frameworks

Jev is a **gate**, not a generator. This package does **not** write Lean. Lake (or another oracle) lives in the implementation that *uses* the kernel.

Open GitHub repository ↗ Back to project radar

Stars: 6
Forks: 1
License: AGPL-3.0
Last commit: 2026-09-22

JEV · DECISION POINT

What Jev does here

Jev returns a structured decision for the local program; consult the source for the exact decision policy.

WHY IT HELPS

Adds structured choices or scores to the workflow; performance and cost benefits have not been independently verified.

SOURCE NOTE

Based on repository metadata and README with rule-based classification; pending human review, with no independent runtime or performance verification.

REVIEWED SOURCE LINKS

Source 1 ↗