code-analysis

Code analysis for formal verification. Use when: (1) investigating a system implementation to identify what to model in TLA+, (2) performing bug archaeology on a codebase, (3) producing a modeling brief that guides spec generation.

Jump to install

Repository: specula-org/Specula
Last source activity: August 10, 2026 at 17:30
Detected SKILL.md language: English
Stars: 421
Forks: 45

Install options

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

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

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

npx skills add https://github.com/specula-org/Specula --skill code-analysis

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.

File Explorer

11 files

SKILL.md

Source instructions · Read-only preview

Back to search Back to installation

spec-generation

TLA+ spec generation from a modeling brief. Use when: (1) turning code analysis findings into a TLA+ specification, (2) generating model checking and trace validation specs, (3) producing instrumentation mappings for trace collection.

2026-08-10

writing-modeling-guidance

Writing target-specific modeling guidance for Specula. Use when: (1) the user is setting up Specula on a new target system, (2) the user asks to write or revise a guidance file, (3) the user wants to add scenario hypotheses, scope guidance, or production-incident context to a target's pipeline runs.

2026-08-10

bug-classification

Final reporting for Phase 4a results. Classify severity in bug-severity.md, then write a concise human-readable findings fragment for summary.md.

2026-08-07

View all from this repository

name	code-analysis
description	Code analysis for formal verification. Use when: (1) investigating a system implementation to identify what to model in TLA+, (2) performing bug archaeology on a codebase, (3) producing a modeling brief that guides spec generation.

code-analysis

Source facts

Install options

Review the source files

More from this repository

More from this repository