implementing-assertions

github:phylaxsystems/agent-skills · first committed 2026-01-15 · source · badge

Implements Phylax Credible Layer assertions in Solidity using cheatcodes, triggers, and event/state inspection. Use when writing or refactoring assertion contracts.

Skill Health: not yet scored

Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.

Version history

10 commits to this file on GitHub (newest first).

2026-06-04 · commit 82b41d5 · Update assertion and pcl skills (#2)
2026-01-21 · commit f4e65e1 · Improve context and examples (#1)
2026-01-21 · commit 7915c62 · Clarify assertion trigger guidance
2026-01-16 · commit 6b66a8f · Add meta-cognitive prompt and phylax triggers to skills
2026-01-15 · commit 933567b · Update skills with recent assertion learnings
2026-01-15 · commit dee7ccb · Improve backtesting guidance and generic patterns
2026-01-15 · commit 9dec2a8 · Add generic lending invariant checklist and patterns
2026-01-15 · commit 4be5a58 · Refine lending invariant guidance from Aave review
2026-01-15 · commit 52c94ca · Update assertion skills from repo patterns
2026-01-15 · commit 1959828 · Add backtesting skill and update docs

Archived snapshots