KERNlang

Kern

Name: Kern
Author: KERNlang

Security community

SOURCE https://github.com/KERNlang/kern

Description

MCP review engine with 182 + rules (taint tracking, OWASP LLM01, concept model) + universal IR compiler: .kern compiles to 13 targets including Next.js, Vue, Express, and FastAPI. AGPL-3.0.

Installation

This entry records only its repository, not the path inside it, so there is no exact command to give. Open the source below and copy the folder into ~/.claude/skills/, or the file into ~/.claude/agents/.

README

[![npm](https://img.shields.io/npm/v/@kernlang/cli?color=cb3837&label=npm)](https://www.npmjs.com/package/@kernlang/cli) [![CI](https://img.shields.io/github/actions/workflow/status/KERNlang/kern/ci.yml?branch=main&label=CI)](https://github.com/KERNlang/kern/actions/workflows/ci.yml) [![GitHub release](https://img.shields.io/github/v/release/KERNlang/kern?label=release)](https://github.com/KERNlang/kern/releases) [![license](https://img.shields.io/github/license/KERNlang/kern)](LICENSE)

**One backend spec. Real TypeScript and Python output.** 242 review rules.
A .kern spec is ~70% fewer tokens than the TypeScript it generates — ~81% fewer than maintaining both backends (measured, GPT-class tokenizer, example corpus).

[**kernlang.dev**](https://kernlang.dev) • [MCP](https://kernlang.dev/mcp) • [Review](https://kernlang.dev/review) • [Playground](https://kernlang.dev/playground) • [Docs](https://kernlang.dev/docs) • [For LLMs](https://kernlang.dev/llm)

Install

npm install -g @kernlang/cli

kern compile api.kern --target=express                        # Generate an Express backend
kern compile api.kern --target=fastapi                        # Generate a FastAPI backend
kern check                                                    # Nominal type checker (zero false positives)
kern review src/ --recursive                                  # Static analysis (242 rules, taint tracking)
kern context src/ --stdout                                    # Whole-project context map for an LLM/agent
kern rag eval examples/rag-starter/eval-ci.kern --json         # CI-safe RAG retrieval contract eval
kern init --template=fullstack my-app                          # Scaffold fullstack ap