invariants
Model state and break invariants: authority, transitions, concurrency, recovery, with TLA+ or Quint model checking, Lean proofs, or Kani-style verifiers on…
Skill by Yeshwanthyk
Chalk Labs
Need help deploying invariants?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/yeshwanthyk-invariants
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: testing
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md and code. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
- Runs as
- Python package
Network hosts it talks to 2
codeload.github.com· found in install commandgithub.com· found in code
Files it touches
~/.claude/skills/invariants- Your home directory (~)
~/.cache
What's inside
- Skill name
invariants- Description
- Model state and break invariants: authority, transitions, concurrency, recovery, with TLA+ or Quint model checking, Lean proofs, or Kani-style verifiers on the code; property-test contracts over generated values or operation sequences; fuzz a parser or untrusted-input boundary.
- License
- MIT
- Instructions
- 83 lines in SKILL.md · view on GitHub
Before installing
- Ships executable scripts
Files (18)
- SKILL.md
- openai.yaml · agents/
- Skeleton.cfg · assets/tla/
- Skeleton.tla · assets/tla/
- .gitignore · assets/tla/giftcard/
- GiftCard.cfg · assets/tla/giftcard/
- GiftCard.tla · assets/tla/giftcard/
- GiftCardFixed.cfg · assets/tla/giftcard/
- README.md · assets/tla/giftcard/
- chart.viz · assets/tla/giftcard/
- code-verifiers.md · references/
- formal-modeling.md · references/
- lean.md · references/
- model-checkers.md · references/
- python.md · references/
- rust.md · references/
- typescript.md · references/
- tlc_chart.py · scripts/
More from Yeshwanthyk/agent-skills
- 0.627score
plan
Yeshwanthyk
Turn a settled approach into an implementation plan of ordered chunks, dependencies, risks, and proof.
SkillAFreshness: A★ 6Claude Code +9 - 0.627score
motion-explainer
Yeshwanthyk
Build a narrated, timeline-driven systems explainer (boxes, wires, packets, dotted orbs, callouts, code diffs) as a playable HTML explorer, optionally…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
deep-dive-explainer
Yeshwanthyk
Research a topic and write a long-form, connected explainer as a standalone HTML article, with illustrated or animated explanations when they help teach the…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
diagnose
Yeshwanthyk
Diagnose a reproducible failure, a live runtime symptom, or a supplied trace or profile; fix and verify the cause when requested.
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
how
Yeshwanthyk
Explain how code works or why it was built this way: execution paths, ownership, inventories, comparisons, design critique, or decision history from commits…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
interactive-explainer
Yeshwanthyk
Build a source-grounded interactive HTML explanation of behavior or state.
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
meat-review
Yeshwanthyk
Review a diff, commit, branch, PR, or uncommitted change as an abridged reading of what to read, why, and the risks, in chat, a T3 page, or kvim.
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
reflect
Yeshwanthyk
On request, extract reusable lessons from a session and propose or apply scoped instruction changes, or create or update a personal mode from stated…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
verify-evals
Yeshwanthyk
Verify skill changes in this repo through the skilleval CLI, running only the eval cases added or changed since a base ref and checking that they target the…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
show-me
Yeshwanthyk
Draw the current topic when asked to see it (show me, draw, diagram, sketch): a viz, tree, diff, or pseudocode.
SkillAFreshness: A★ 6Claude Code +9 - 0.622score
benchmark-checklist
Yeshwanthyk
Vet a performance number before reporting or acting on it.
SkillAFreshness: A★ 6Claude Code +9 - 0.621score
architect
Yeshwanthyk
Choose an architecture when a consequential design boundary is unsettled.
SkillAFreshness: A★ 6Claude Code +9
Signals
- Stars
- 6
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Oct 23, 2026 (7 days ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/Yeshwanthyk/agent-skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from Yeshwanthyk
- 0.627score
plan
Yeshwanthyk
Turn a settled approach into an implementation plan of ordered chunks, dependencies, risks, and proof.
SkillAFreshness: A★ 6Claude Code +9 - 0.627score
motion-explainer
Yeshwanthyk
Build a narrated, timeline-driven systems explainer (boxes, wires, packets, dotted orbs, callouts, code diffs) as a playable HTML explorer, optionally…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
interactive-explainer
Yeshwanthyk
Build a source-grounded interactive HTML explanation of behavior or state.
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
diagnose
Yeshwanthyk
Diagnose a reproducible failure, a live runtime symptom, or a supplied trace or profile; fix and verify the cause when requested.
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
how
Yeshwanthyk
Explain how code works or why it was built this way: execution paths, ownership, inventories, comparisons, design critique, or decision history from commits…
SkillAFreshness: A★ 6Claude Code +9 - 0.624score
deep-dive-explainer
Yeshwanthyk
Research a topic and write a long-form, connected explainer as a standalone HTML article, with illustrated or animated explanations when they help teach the…
SkillAFreshness: A★ 6Claude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get invariants running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
invariants skill. Agent Mart. https://agentmart.dev/skills/yeshwanthyk-invariants (last updated 2026-10-24)