JevOps
endomorphosis
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.
- License
- AGPL-3.0
- GitHub Stars
- 8
- Source reviewed
- —
Where Jev makes a decision
Jev returns a structured decision for the local program; consult the source for the exact decision policy.
What this project offers
Adds structured choices or scores to the workflow; performance and cost benefits have not been independently verified.
Review scope
Based on repository metadata and README with rule-based classification; pending human review, with no independent runtime or performance verification.
Sources and implementation
Related projects
jev
dannote · SDK & Decision Frameworks
Integrates Jev as an asynchronous Elixir/OTP process whose replies are handled with GenServer pattern matching.
zod-jev
jomatsu · SDK & Decision Frameworks
Adds semantic rules to Zod validation, such as checking whether text matches a description or contains personal information.
daf-jev
docxology · SDK & Decision Frameworks
A Python toolkit for Jev requests, batch evaluation, calibration and MCP access.
jev-starter
hamakyo · SDK & Decision Frameworks
TypeScript patterns for thresholds, fallbacks, human review and evaluation on top of the TypeSafe SDK.