Install Drasil

Enter your license key to generate install artifacts for Claude Code, Claude Web, or the Claude API.
Works with both trial and full keys.

Claude Code

Claude Web

Claude Desktop

Claude API

Download SKILL.md

This file contains the Drasil loader with your key embedded. Place it in your Claude Code skills directory.

Install

Move the downloaded file to your skills directory:

mkdir -p ~/.claude/skills/
cp ~/Downloads/drasil.md ~/.claude/skills/drasil.mdCopy

Verify

Open Claude Code and ask any math problem. Drasil activates automatically — you'll see structured output with Parse, Compute, Verify, and Answer phases.

$ claude
> Using Drasil, what is 47 × 893?
**Answer**: 41,971
**Verify**: 41,971 ÷ 893 = 47 ✓

Or use MCP (recommended)

Instead of a skill file, add Drasil as an MCP remote server in your Claude Code settings. This gives Claude the drasil_protocol tool directly.

Add to ~/.claude/settings.json:

Preview (skill file)

Your generated drasil.md:

Add MCP Integration

Drasil uses an MCP server so Claude can fetch the protocol via tool call. Your key is embedded in the server URL.

Go to claude.ai → Settings → Integrations → Add and enter this URL:

Create a Project (optional)

For persistent access, create a Claude Project and add the MCP integration there. Every conversation in that project will have the drasil_protocol tool available.

Project Instructions (paste this):

When asked to solve a math problem, first call the drasil_protocol tool to load the reasoning protocol. Follow it exactly. After answering, discard the protocol.Copy

Ask Math

Claude will call drasil_protocol automatically when you ask a math question. The protocol loads ephemerally — used once, then discarded.

You: "What is 847 × 396?"
Claude: [calls drasil_protocol tool] → loads 186-line protocol
Claude: **Answer**: 335,412  **Verify**: 335,412 ÷ 396 = 847 ✓

Available Tools

drasil_protocol  Load the full reasoning protocol (call before solving)
drasil_status    Check license tier, version, and benchmarks

Add MCP Server

Open your Claude Desktop config file and add the Drasil MCP server. Your key is embedded in the URL.

Config location:

macOS: ~/Library/Application Support/Claude/claude_desktop_config.json
Windows: %APPDATA%\Claude\claude_desktop_config.json

Add This Config

Add the Drasil MCP server to your config file:

Restart Claude Desktop

After saving the config, restart Claude Desktop. You'll see the drasil_protocol and drasil_status tools available in the tools menu.

Use

Ask any math problem. Claude calls the drasil_protocol tool, loads the 186-line protocol, solves with 100% accuracy, then discards the protocol.

Fetch Protocol

Call the Drasil API to get the full protocol, then inject it as a system message:

Python Example

Node.js Example

Test Your Key