remarkable-mcp: Instructions file for GitHub Copilot

.github/copilot-instructions.md

remarkable-mcp copilot-instructions.md is an instructions file for GitHub Copilot from praveensehgal/remarkable-mcp. It costs 1,693 tokens per session, scanned A, original, MIT.

Project instructions for remarkable-mcp, a Python server that gives agents access to reMarkable tablet data. They define the Git, dependency-management, and testing workflow.

In plain words
What is it for?
Use them when changing the server, installing dependencies with uv, creating a feature branch, running pytest, or preparing a pull request.
Why use it?
They keep contributions reviewable and ensure dependencies and tests are handled with the project’s required tools.

Instructions file for GitHub Copilot

Written for GitHub Copilot: a Copilot instructions file.

This is praveensehgal/remarkable-mcp's own configuration. It tells GitHub Copilot how to work on remarkable-mcp itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything remarkable-mcp configures →

Reuse

Borrowing it

Nothing to install: this file belongs to praveensehgal/remarkable-mcp. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/praveensehgal/remarkable-mcp/main/.github/copilot-instructions.md
Clone the repo
git clone --depth 1 https://github.com/praveensehgal/remarkable-mcp

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 remarkable-mcp copilot-instructions.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/praveensehgal/remarkable-mcp/copilot-instructions/github.svg)](https://agentmods.dev/instructions/praveensehgal/remarkable-mcp/copilot-instructions)
Your own site
<a href="https://agentmods.dev/instructions/praveensehgal/remarkable-mcp/copilot-instructions"><img src="https://agentmods.dev/badge/instructions/praveensehgal/remarkable-mcp/copilot-instructions/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for remarkable-mcp copilot-instructions.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/praveensehgal/remarkable-mcp/copilot-instructions"><img src="https://agentmods.dev/badge/instructions/praveensehgal/remarkable-mcp/copilot-instructions.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,693 This file is loaded in full into every session.
When invoked 1,693 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
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.1 $0.01693 $0.01693
Opus 5.5 $0.00677 $0.00677
Sonnet 5.5 $0.00339 $0.00339
Haiku 4.5 $0.00169 $0.00169

Measured 2mo ago against content hash 617b21cadc4f, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

remarkable-mcp 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 2mo 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.

Origin

Copies of this mod

1 near-identical copy found in the catalogue:

.github/copilot-instructions.md · 244 lines

How it starts

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

Copilot Instructions for remarkable-mcp

Project Overview

This is an MCP (Model Context Protocol) server that provides access to reMarkable tablet data. It's a Python project using FastMCP.

Git Workflow

Always work on feature branches and submit PRs. Never push directly to main.

# Create a feature branch
git checkout -b feature/my-feature

# After making changes, push and create PR
git push origin feature/my-feature
# Then create PR via GitHub

Branch protection is enabled on main - all changes must go through pull requests with passing CI checks.

Package Management

Always use uv for all package management operations.

# Install dependencies
uv sync

# Install with dev dependencies
uv sync --extra dev

# Add a new dependency
uv add <package>

# Add a dev dependency
uv add --dev <package>

Never use:

  • pip install directly
  • pip freeze
  • poetry

Running Tests

Always run tests with:

uv run pytest test_server.py -v

For specific test patterns:

# Run specific test class
uv run pytest test_server.py -v -k "TestClassName"

# Run with coverage
uv run pytest test_server.py -v --cov=server

# Skip slow tests if any
uv run pytest test_server.py -v -m "not slow"

Important: Tests use pytest-asyncio for async testing. All async tests should use the @pytest.mark.asyncio decorator.

Building & Running

# Run the MCP server directly
uv run python server.py

# Register a new device (one-time setup)
uv run python server.py --register <one-time-code>

# Run as installed package
uv run remarkable-mcp

Code Quality

Before committing, always run:

# 1. Lint code (REQUIRED - CI will fail without this)
uv run ruff check .

# 2. Check formatting (REQUIRED - CI will fail without this)
uv run ruff format --check .

# 3. Run tests (REQUIRED - CI will fail without this)
uv run pytest test_server.py -v

Fix issues automatically:

# Fix lint issues
uv run ruff check . --fix

# Fix formatting
uv run ruff format .

Read the full file on GitHub · 244 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. 2mo ago First seen · 244 lines · 1,693 tokens per session scan A 617b21cadc4f

Subscribe to this mod's changes

remarkable-mcp copilot-instructions.md is an instructions file published in the GitHub repository praveensehgal/remarkable-mcp (3 stars, last pushed 4mo ago), licensed MIT. It adds 1,693 tokens to every session, about $0.0068 per session on Opus 5.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.

Related

remarkable-mcp copilot-instructions.md compared with instructions from other repositories

remarkable-mcp copilot-instructions.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
remarkable-mcp copilot-instructions.mdpraveensehgal/remarkable-mcpInstructions file34mo agoMITA1,693GitHub Copilot
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149kyesterdayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode