skills.rest
subsetparksubsetparkCommunity·1 Agent Skills Included

pantagruel

Write and verify formal system specifications with guided checks

Guides users through writing precise Pantagruel specification files that describe system domains, rules, invariants, and state-changing actions. Asks clarifying questions instead of guessing, so every detail of the model comes from the user. Runs type checks and bounded model checking to catch contradictions, dead operations, and broken invariants early.
93|4
↗
npx skills add subsetpark/pantagruel --all -g -y
Available:

Gives your AI agent the build commands, architecture overview, and language rules it needs to work correctly on the Pantagruel specification checker codebase.

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
subsetparksubsetpark

write-spec

Co-author formal system specifications in the Pantagruel language through guided conversation.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Pantagruel?▼

Run `npx skills add subsetpark/pantagruel --all -g -y` in your terminal to install all skills in this repository globally.

What is a formal specification language?▼

It is a precise notation for describing what a system must do, using domains, rules, and logical propositions. Pantagruel checks that your specification is well-typed and internally consistent.

How does Pantagruel verify my specification?▼

It type-checks your spec and can run bounded model checking with SMT solvers like z3 or cvc5 to detect contradictions, invariant violations, and unreachable actions.

Can I write a spec without formal methods experience?▼

Yes. The write-spec skill co-authors the specification with you through guided questions, so you describe your system in plain terms while it handles the formal syntax.

Does Pantagruel work with AI coding agents?▼

Yes. The included skill follows the standard SKILL.md format and works with agents like Claude Code, Cursor, and OpenClaw to help you model systems conversationally.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills