skill-cslib-implementation

Implement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for cslib implementation tasks.

Jump to install Review files

Repository: benbrastmckie/nvim
Last source activity: November 6, 2026 at 02:40
Detected SKILL.md language: English
Stars: 444
Forks: 451

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Install with an AI assistant

Copy this prompt into the AI assistant you're using.

Follow https://skillsmp.com/skill-install/prompt.md to install only the Agent Skill at https://github.com/benbrastmckie/nvim/tree/master/agent-system/extensions/cslib/skills/skill-cslib-implementation.

A direct command skips the review prompt. Inspect the source before running it.

npx skills add https://github.com/benbrastmckie/nvim --skill skill-cslib-implementation

The command stays on one line. Scroll horizontally to inspect it before copying.

Prefer a local copy? Download the files currently available to SkillsMP.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

SKILL.md

Source instructions · Read-only preview

name	skill-cslib-implementation
description	Implement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for cslib implementation tasks.

Back to search Back to installation

skill-formal-research

Coordinate formal reasoning research across logic, math, and physics domains. Invoke for formal-language research requiring cross-domain coordination.

2026-11-06

skill-logic-research

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

2026-11-06

skill-math-research

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

2026-11-06

View all from this repository

skill-cslib-implementation

Source facts

Install options

Install with an AI assistant

Review the source files

More from this repository

Install with an AI assistant

More from this repository