claude

applied-pl

Apply programming language theory techniques for program verification, derivation, and optimization.

2 on GitHubby LdBethv1.1.0MITupdated 5 months ago
/

Plugin applied-pl from marketplace local-plugins in LdBeth/cc-deno-plugins. Commands read from the repo's manifest — 7 days ago.

What it installs

Skills (2)

  • 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 recu

  • 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 us

View source on GitHub

More from LdBeth/cc-deno-plugins

All 3 plugins →

deno-lsp

claude

Deno LSP integration for TypeScript/JavaScript development

4 skills · LSP

2

jsr-audit

claude

Audit Deno/TypeScript packages for JSR compliance and publishing readiness

1 skill

2

Similar plugins

nextjs

claude

Official Next.js skills: adopt and optimize Cache Components, adopt Partial Prefetching, and verify runtime behavior against a running dev server.

6 skills

vercel/next.js 143,495

ruflo-cost-tracker

claude

Token usage tracking, model cost attribution per agent, budget alerts, and optimization recommendations

24 skills · 1 command · 1 agent · hooks

ruvnet/ruflo 81,589

azure

claude

Transform Claude into an Azure expert. This plugin integrates the Azure MCP server and specialized Azure skills to move beyond generic advice. It enables Claude to perform real-world tasks: listing resources, validating deployments, diagnosing infrastructure issues, and optimizing costs across 50+ Azure services.

44 skills · 1 MCP server

anthropics/claude-plugins-official 47,076

cloud-infrastructure

claudecodex

Cloud architecture design for AWS/Azure/GCP/OCI, Kubernetes cluster configuration, Terraform infrastructure-as-code, hybrid cloud networking, and multi-cloud cost optimization

8 skills · 7 agents

wshobson/agents 42,461

cockroachdb

claude

CockroachDB plugin for Claude Code — explore schemas, write optimized SQL, debug queries, and manage distributed database clusters directly from your AI coding agent.

34 skills · 3 agents · 3 MCP servers · hooks

anthropics/knowledge-work-plugins 35,601

commercial-skills

claude

Per-deal-and-packaging Commercial domain. v2.8.0 ships 8 skills: orchestrator + pricing-strategist (model picker + Van Westendorp WTP + packaging) + deal-desk (deal scorer + discount approval routing + redline) + partnerships-architect (5-tier classifier + joint GTM + revshare modeler) + channel-economics (cost-to-serve + ROI + mix optimizer) + commercial-policy (data-backed discount matrix + exception flow + linter) + rfp-responder (Shipley structured RFP/RFI/RFQ + win-theme + winrate predictor, context: fork) + commercial-forecaster (4Q-weighted bookings + cohort NRR/GRR + funnel-confidence with mandatory assumption disclosure). Hard rules: pricing outputs model+range (never a single number), deal outputs route to named human approver (never auto-approve), forecast outputs surface conversion assumption, RFP never invents claims for GAP requirements. 21 stdlib Python tools, 28+ reference docs. Distinct from business-growth (sales execution), c-level-advisor/cro-advisor (strategic), finance (close+report).

8 skills · 9 commands · 1 agent

alirezarezvani/claude-skills 29,725

Maintain applied-pl?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins3 plugins