Open Issues Need Help
View All on GitHub Expand README with a getting-started walkthrough about 3 hours ago
documentation good first issue
Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.
Rust
TypeScript client SDK for the /decide PDP about 3 hours ago
help wanted sdk
Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.
Rust
Python client SDK for the /decide PDP about 3 hours ago
help wanted sdk
Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.
Rust
Add a negative-control test for each of the 9 invariants about 3 hours ago
good first issue proof testing
Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.
Rust