# kern MCP server

> A zero-trust verification gateway that uses SMT solvers and formal proofs to validate AI-generated code and prevent hallucinations or cheating.

- Repository: https://github.com/newmathphys/kern
- Page: https://hostedmcp.org/servers/newmathphys/kern
- Transport: —
- Stars: 13

## FAQ

### What makes KERN different from standard CI tools like pytest?

Standard CI tools can be fooled by vacuous tests (tests without assertions) or hallucinated fixes that produce exit code 0. KERN uses an SMT solver and formal proofs to ensure claims are machine-checkable and not just based on passing tests.

### Can KERN detect if an AI agent is cheating in a test suite?

Yes, KERN can identify specific cheating behaviors such as swallowed exceptions, exiting tests early, using mocks in verifiable code, or constant substitution.

### How does KERN handle conflicting security policies?

Unlike normal engines that might silently apply a 'deny wins' rule and lose information, KERN uses Belnap logic to preserve the contradiction and report a conflict.