ICME Labs
We build memory efficient zero-knowledge proofs for private and trustless agents.
Pinned Loading
Repositories
Showing 10 of 29 repositories
- kinic-wiki Public
- jolt-atlas Public
Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
- preflight-instruments Public
A prompt-injection detector you can prove ran. Activation probe + JOLT Atlas ZK proofs, so any verifier can trustlessly check the guardrail fired. Preflight instruments.
- icme-agt Public
Formally verified, ZK-receipted policy checks for Microsoft's Agent Governance Toolkit — an official ICME PreFlight ExternalPolicyBackend (ADR-0015)
- Vectune Public
- icme-preflight-guardrail Public
Automated Reasoning guardrails for OpenClaw agents. Check every action against your policy before it executes — SAT or UNSAT in under a second. Free logic checker included.
- blackhole-token-burner Public
Top languages
Loading…
Most used topics
Loading…