# younes-io

> Open-source publisher. Listings imported from github.com/younes-io — credited to the original author with their license.

- **Listings:** 2
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/younes-io
- **Website:** https://github.com/younes-io

## Published listings

- [Tla Proof](https://agentstack.voostack.com/l/skill-younes-io-agent-skills-tla-proof) — Skill · Free · security-reviewed — `agentstack add skill-younes-io-agent-skills-tla-proof`
  Write and iteratively refine TLA+ theorem proofs in `.tla` modules with TLAPS (`tlapm`); run proof checks and summarize proved vs failed/omitted obligations with explicit assumptions and trust boundaries. Use when asked to create or fix `THEOREM` or `PROOF` blocks, diagnose TLAPS failures, strengthen inductive invariants, prove equivalence, or tune proof structure.
- [Tla Check](https://agentstack.voostack.com/l/skill-younes-io-agent-skills-tla-check) — Skill · Free · security-reviewed — `agentstack add skill-younes-io-agent-skills-tla-check`
  Write and iteratively refine executable TLA+ specs (.tla) and TLC model configs (.cfg) from natural-language system designs; run TLC model checking; summarize pass/fail and counterexamples with explicit assumptions and bounds. Use when asked to design or validate a protocol/state machine, create or edit .tla/.cfg files, run TLC, or interpret TLC failures.

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.