mcpkernel copilot-instructions.md

mcpkernel copilot-instructions.md is an instructions file for GitHub Copilot from piyushptiwari1/mcpkernel. It costs 1,344 tokens per session, scanned A, original, Apache-2.0.

Project instructions for MCPKernel, a gateway that controls and records calls made by AI agents to external tools. It describes the project’s Python packages, security checks, execution environments, and testing standards.

In plain words
What is it for?
Use it when developing, reviewing, testing, or configuring MCPKernel’s proxy, policy, sandbox, taint tracking, audit, observability, or command-line components.
Why use it?
It gives agents the context needed to work safely in a codebase that handles tool permissions, sensitive data, isolated execution, and audit records.

Instructions file for GitHub Copilot

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/piyushptiwari1/mcpkernel/copilot-instructions
Clone the repo
git clone --depth 1 https://github.com/piyushptiwari1/mcpkernel

Made for: GitHub Copilot.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for mcpkernel copilot-instructions.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/piyushptiwari1/mcpkernel/copilot-instructions.svg)](https://agentmods.dev/instructions/piyushptiwari1/mcpkernel/copilot-instructions)
Your own site
<a href="https://agentmods.dev/instructions/piyushptiwari1/mcpkernel/copilot-instructions"><img src="https://agentmods.dev/badge/instructions/piyushptiwari1/mcpkernel/copilot-instructions.svg" alt="Measured on agentmods" height="20"></a>
Per session 1,344 This file is loaded in full into every session.
When invoked 1,344 The same file — it is already loaded in full.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.01344 $0.01344
Opus 5 $0.00672 $0.00672
Sonnet 5 $0.00269 $0.00269
Haiku 4.5 $0.00134 $0.00134

Measured 3d ago against content hash 3e1460e90a3b, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

mcpkernel copilot-instructions.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 3d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.github/copilot-instructions.md · 103 lines

How it starts

The opening of the file, as written. The whole thing — 103 lines — stays where its author put it; the contents beside it link to each section on GitHub.

MCPKernel — Project Context for All Agents

Project Overview

MCPKernel is an open-source Execution Sovereignty Stack — a mandatory, deterministic MCP/A2A gateway that makes every agent tool call provably replayable, taint-safe, and policy-enforced. Licensed under Apache 2.0.

Repository: piyushptiwari1/mcpkernel

Architecture

  • 11 packages in src/mcpkernel/: proxy, sandbox, dee, taint, context, ebpf, policy, audit, observability, cli, agent_manifest
  • Proxy: AsyncIO MCP/A2A transparent gateway with SSE/stdio transport
  • Policy: YAML-based rules engine with OWASP ASI 2026 mappings
  • Taint: Multi-mode taint tracking (FULL/LIGHT/OFF) for secrets, PII, user input
  • Sandbox: Docker, Firecracker, WASM, Microsandbox backends
  • DEE: Deterministic Execution Envelopes — hashed, Sigstore-signed, replayable
  • Audit: Tamper-proof append-only logs with SIEM export (CEF, JSONL, CSV)
  • Context: Environment snapshots and drift detection
  • Observability: OpenTelemetry metrics and Prometheus export
  • eBPF: Kernel-level syscall filtering
  • Agent Manifest: agent.yaml loader, policy bridge, tool validator, proxy hook

Code Standards

  • Python >=3.12 (tested on 3.12 and 3.13, developed on 3.13.12)
  • Async-first using asyncio
  • Type hints on all public APIs
  • Tests in tests/ using pytest with async support
  • All 695 tests must pass before merging to main
  • Coverage must be ≥80% (python -m pytest --cov=mcpkernel)
  • Lint clean: ruff check src/ tests/ must show zero errors
  • Format clean: ruff format --check src/ tests/ must pass

Build & Test

# Install (using uv)
uv venv --python 3.13
source .venv/bin/activate
uv pip install -e ".[dev]"

# Run all tests
python -m pytest tests/ -v --tb=short

# Run specific test module
python -m pytest tests/test_proxy.py -v

# Lint + Format
ruff check src/ tests/
ruff format --check src/ tests/

# Type check
mypy src/mcpkernel/

Git Workflow

  • main branch: stable, all tests passing
  • development branch: active work, may have failing tests
  • Feature branches: feature/<description> off development
  • Bug fix branches: fix/<description> off development
  • Always run tests before merging to main
  • Use conventional commits: feat:, fix:, docs:, test:, refactor:, chore:

Read the full file on GitHub · 103 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 3d ago First seen · 103 lines · 1,344 tokens per session scan A 3e1460e90a3b

Subscribe to this mod's changes

mcpkernel copilot-instructions.md is an instructions file published in the GitHub repository piyushptiwari1/mcpkernel (2 stars, last pushed 2mo ago), licensed Apache-2.0. It adds 1,344 tokens to every session, about $0.0067 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.