DiscOS is the interface between the agentic userland and the EvidenceOS kernel. We welcome contributions that expand the "real-world" reach of the protocol.
- Use Case Oracles: Building adapters for new domains (e.g., Cybersecurity, Finance, Bio-safety).
- Agent Resilience: Improving how DiscOS handles kernel-level
FROZENstates. - Latency Profiling: Benchmarking the "Verification Tax" on agent performance.
- The Sandbox: Use the provided Docker Compose file to spin up a local EvidenceOS/DiscOS environment.
- Issue Labels: Check for
good-first-issueoruse-case-request. - Documentation: We highly value improvements to the documentation and use-case examples.
Run the same baseline checks required by CI before opening a PR:
cargo fmt --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspaceEach pull request should include:
- A clear scope and rationale.
- Test evidence (commands + results).
- Notes on boundary conditions considered.
- Confirmation that behavior remains deterministic where applicable.
We follow the Contributor Covenant. Please be professional and focused on the mission of verifiable AI safety.