Skip to content

Claude Skills by CalQuity

github.com/CalQuity

2 skillsA× 20 installs0 views

SetupASet up Rung's verification kit in a repository: install the CLI, record the project's linters, tests and security scans as checks, gate pull requests in CI, and teach coding agents to verify their work. Use when asked to "set up rung", "add rung to this repo", "verify this repo with rung", or when a repository needs a way to prove agent-written code works.testingpythongoVotes: 0GitHub stars: 3
GuidesA`{check_id}` is part of the formal-methods side of {project}'s verification kit: {what}. Rung checks it with {checker} and records the verdict against the exact code it covers.testingawsgitVotes: 0GitHub stars: 3