home/categories/code-quality/prismer-ai-prismer-docker-plugin-prismer-workspace-skills-formal-methods-skill-md
code-qualitytesting-security
formal-methods
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
maintainer
Prismer-AI
Atualizado 3/19/2026
Estrelas
848
Forks
31
quick start
Installation and usage
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
Instalação
$ install --globalskills.sh
Uso
Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:
skills use formal-methods