Stats
Actions
Available In
Tags
Plugin
applied-pl
Apply programming language theory techniques for program verification, derivation, and optimization. Includes equational reasoning for functional program simplification and Hoare logic for imperative program verification.
What's Inside
Skills2
equational-reasoning
/equational-reasoning
Use equational reasoning to simplify, refactor, optimize, fuse, or derive code in ANY language — Common Lisp, C, TypeScript, Swift, Haskell, or others. Use this skill whenever the user asks to simplify a loop or a chain of maps/filters/reduces, merge multiple passes into a single pass, refactor recursion, clean up try-catch / do-catch / handler-case / Promise chains, separate pure logic from effectful code (async, state, I/O), verify that a refactor preserves behavior, or derive an efficient implementation from a clear but naive one. Trigger even when the user just says "can this be one loop?", "is this refactor safe?", or "simplify this reduce".
hoare-logic
/hoare-logic
Use Hoare logic to verify, derive, and reason about imperative programs. Apply this skill when asked to prove correctness, find loop invariants, verify pre/postconditions, calculate weakest preconditions, or reason about imperative code with assignments, loops, and conditionals. Also use when the user mentions "Hoare triple", "wp", "program verification".
Stats
Version1.1.0
Stars1
MaintenanceFair
LicenseMIT
Last Commit
Added
Available In
Tags
Categories
'%20stop-opacity%3D'0.16'%2F%3E%3Cstop%20offset%3D'1'%20stop-color%3D'rgb(200%2C90%2C60)'%20stop-opacity%3D'0.03'%2F%3E%3C%2FlinearGradient%3E%3C%2Fdefs%3E%3Crect%20width%3D'320'%20height%3D'200'%20fill%3D'url(%23g)'%2F%3E%3Ccircle%20cx%3D'250'%20cy%3D'56'%20r%3D'92'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.06'%2F%3E%3Ccircle%20cx%3D'64'%20cy%3D'172'%20r%3D'58'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.05'%2F%3E%3C%2Fsvg%3E)
