srpl-procedure-contracts
Manages SRPL procedure contracts and semantics.
Install
mkdir -p .claude/skills/srpl-procedure-contracts && curl -L -o skill.zip "https://agentskills.codes/api/skills/download/13564" && unzip -o skill.zip -d .claude/skills/srpl-procedure-contracts && rm skill.zipInstalls to .claude/skills/srpl-procedure-contracts
Activation
This is the description your AI agent reads to decide when to run this skill — the better it matches your request, the more reliably it fires.
Use for SRPL procedure semantics, ProcedureContract, ContractHash and compatibility.Key capabilities
- →Ensure explicit types, cardinalities, and permissions for SRPL procedures.
- →Hash canonical semantic forms of procedures.
- →Detect breaking, additive, deprecated, or rejected changes in contracts.
- →Reject SQL dynamic text and implicit result shapes.
- →Design and review procedure contracts.
How it works
This skill ensures SRPL procedure semantics and contract compatibility by verifying explicit types, hashing canonical semantic forms, and detecting various types of changes, while rejecting dynamic SQL and implicit result shapes.
Inputs & outputs
When to use srpl-procedure-contracts
- →Reviewing SRPL contracts
- →Ensuring procedure compatibility
- →Validating contract resource policies
About this skill
srpl-procedure-contracts
When to use
Work touches SRPL procedures or contracts.
Purpose
Use for SRPL procedure semantics, ProcedureContract, ContractHash and compatibility.
Process
- Ensure explicit types, cardinalities, permissions, read/write sets, isolation and resource policy.
- Hash canonical semantic forms, not source text.
- Detect breaking/additive/deprecated/rejected changes.
- Reject SQL dynamic text and implicit result shapes.
Expected output
- Procedure contract design/review.
Guardrails
- No SELECT *, no implicit NULL, no shape-shifting records.
Andromeda baseline
- Rust 1.95.0 / Edition 2024 / resolver 3.
- QUIC + custom Protobuf RPC; no gRPC and no JSON native protocol.
- Procedure-only application surface and SRPL contracts.
- WAL before visible commit; recovery and audit are mission-critical.
- Worker artifacts belong under
.work/codex/<task-slug>/.
When not to use it
- →When the work does not touch SRPL procedures or contracts.
- →When `SELECT *`, implicit `NULL`, or shape-shifting records are intentionally used.
Limitations
- →This skill is specific to SRPL procedure semantics and `ProcedureContract`.
- →It rejects `SELECT *`, implicit `NULL`, and shape-shifting records.
- →It focuses on Rust 1.95.0 / Edition 2024 / resolver 3 for Andromeda baseline.
How it compares
This skill enforces strict contract semantics and compatibility checks for SRPL procedures, preventing common pitfalls like implicit NULLs or shape-shifting records that can occur in less controlled environments.
Compared to similar skills
srpl-procedure-contracts side by side with the closest alternatives in the catalog.
| Skill | Installs | Updated | Safety | Difficulty |
|---|---|---|---|---|
| srpl-procedure-contracts (this skill) | 0 | 3mo | No flags | Advanced |
| blockchain-developer | 6 | 4mo | No flags | Advanced |
| memory-safety-patterns | 4 | 4mo | No flags | Advanced |
| cargo-fuzz | 2 | 2mo | Review | Intermediate |
Try saying
Example prompts that trigger this skill in your AI assistant.
More by AriusII
View all by AriusII →You might also like
blockchain-developer
sickn33
Build production-ready Web3 applications, smart contracts, and decentralized systems. Implements DeFi protocols, NFT platforms, DAOs, and enterprise blockchain integrations. Use PROACTIVELY for smart contracts, Web3 apps, DeFi protocols, or blockchain infrastructure.
memory-safety-patterns
sickn33
Implement memory-safe programming with RAII, ownership, smart pointers, and resource management across Rust, C++, and C. Use when writing safe systems code, managing resources, or preventing memory bugs.
cargo-fuzz
trailofbits
cargo-fuzz is the de facto fuzzing tool for Rust projects using Cargo. Use for fuzzing Rust code with libFuzzer backend.
stellar-dev
Carts1024
End-to-end Stellar development playbook. Covers Soroban smart contracts (Rust SDK), Stellar CLI, JavaScript/Python/Go SDKs for client apps, Stellar RPC (preferred) and Horizon API (legacy), Stellar Assets vs Soroban tokens (SAC bridge), wallet integration (Freighter, Stellar Wallets Kit), smart acco
solana-dev
mashharuki
Use when user asks to "build a Solana dapp", "write an Anchor program", "create a token", "debug Solana errors", "set up wallet connection", "test my Solana program", "deploy to devnet", or "explain Solana concepts" (rent, accounts, PDAs, CPIs, etc.). End-to-end Solana development playbook covering
solana-dev
solanabr
Unified skill hub for Solana development. Routes to external submodule skills (solana-foundation, sendai, solana-game, trailofbits, cloudflare, qedgen, colosseum) and local skills. Progressive disclosure — read only what you need.