README des Repositorys wird geladen…
Es werden 2 von 2 gesammelten Skills angezeigt.
Model-check thread protocols with TLA+ and TLC, prove sequential invariants with Lean 4, and check bounded Rust functions with Kani. Map counter-examples to source locations, reproductions and fixes, and keep the models in CI. Use for…
Quellsprache: Englisch
Prepare all shared tools for the agent-formal-verify plugin: Java, Python, TLC, elan, Lean, Rust and Kani. Use for initial installation, missing prerequisites, or /agent-formal-verify:setup.
Quellsprache: Englisch
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/michael-denyer/agent-formal-verify.Die README konnte nicht geladen werden. Die Skills des Repositorys lassen sich unten weiterhin ansehen.