Skills
.Work. You
Rest

BOK

Community

Formal verification for Solana program math.

Software Engineering#verification#proptest#invariant#solana#kani#bok#litesvm
AuthorMetalLegBob
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Book of Knowledge provides a structured, automated verification pipeline that converts Solana/Anchor program math into formal invariants, then generates multi-tool verification artifacts (Kani harnesses, LiteSVM tests, and Proptest suites) and a final verification report.

Core Features & Use Cases

  • End-to-end invariant discovery and verification across multiple tooling ecosystems (Kani, LiteSVM, Proptest)
  • Five-phase workflow from code scanning to artifact generation and reporting
  • Artifact management within a project-wide hidden workspace (.bok) with clear progression states
  • Cross-skill integration through GL docs and SOS findings to prioritize invariants

Quick Start

Use the Book of Knowledge skill to kick off the verification workflow for a Solana project.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: BOK
Download link: https://github.com/MetalLegBob/solana-vibes-kit/archive/main.zip#bok

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.