io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Open source Repository Open in the app JSON
About
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Details
- Kind
- MCP servers
- Topic
- AI, RAG & memory
- Publisher
- wyattbenno777
- Origin
- official
- Category
- ferramentas
- Transport
- http
- Version
- 1.0.1
- Repository state
- sumiu
- Added
- 2026-08-29 04:01:41
- Updated
- 2026-08-29 04:01:41
- Origin id
io.github.wyattbenno777/icme-preflight