Kern
Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.
- Transport
- stdio
- Status
- Local
Power your agent
เพิ่มเซิร์ฟเวอร์นี้
Install from the publisher. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
No packaged release in the registry yet. Follow the repository README.
RepositoryPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
รันบน PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
เปิดServer facts
Local- Transport
- stdio
- License
- NOASSERTION
- Last checked
- 2026-11-10
- Stars
- 13
- Tools
- —
- Uptime
- —
Tools
Tools
No tool list yet. Remote servers get one after the first health check.
FAQ
Questions
How do I install Kern?
Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does Kern need an API key?
No required environment variable is listed on this record.
What transport does Kern use?
Kern runs locally over stdio.
When was Kern last checked?
Last checked 2026-11-10. Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.
From the publisher
Documentation
README is not crawled yet. Open the repository
Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.