Leanstral Formal Verification

Name: Leanstral Formal Verification
Author: community

VERIFIED

by community

—No community reviews yet

85,479installs

Updated May 2026

Use this page as a decision snapshot for Leanstral Formal Verification: trust signal, install momentum, real user feedback, and high-intent related pages you can compare next.

|Compare

Description

Formal verification using Lean 4 + Leanstral (labs-leanstral-2603) model. Use when: you need mathematical proof of code correctness, protocol verification, a...

Related landing pages

AI & LLM automation AI & LLM skills AI & LLM for agencies AI & LLM for beginners AI & LLM for consultants AI & LLM for developers AI & LLM for finance teams AI & LLM for founders AI & LLM for managers AI & LLM for operators

Compare

Compare with alternatives →

Install Leanstral Formal Verification

Run this in your OpenClaw agent to add Leanstral Formal Verification from the ClawHub registry.

terminal

$openclaw skills install leanstral-formal-verification

Requires ClawHub registry access. Review the security analysis below before installing.

Security Analysis

❌危险50/100

Open Source

Code is publicly available for audit.

Community Verified

Reviewed by the ClawHub community.

Community Reviews

Real user ratings only — separate from the editorial assessment and ClawHub signal.

No community reviews yet

Installed this skill? Sign in and leave the first review.

Save the skill now, come back after testing it, and help the next person choose with a quick review.

Frequently asked questions

Is Leanstral Formal Verification safe to install?

Leanstral Formal Verification has a SkillsReview security score of 50/100. It is open source and community-verified on ClawHub. Check the full Security Analysis on this page before installing.

How much does Leanstral Formal Verification cost?

Leanstral Formal Verification is free to install for OpenClaw via ClawHub.

What are the best alternatives to Leanstral Formal Verification?

You can compare Leanstral Formal Verification side by side with similar OpenClaw skills on the SkillsReview comparison page to find the best fit for your workflow.

How do I install Leanstral Formal Verification?

Install Leanstral Formal Verification from ClawHub at clawhub.ai/skills/leanstral-formal-verification, or use the install action on this page to copy the command for your OpenClaw agent.

Community Signal

ClawHub Community Score3.63 / 5.00

Installs85,479

Last UpdateMay 17, 2026

Actively maintained (25d ago)

ClawHub community score is a third-party marketplace signal. It is shown separately from SkillsReview editorial assessment and real user review averages.

View on ClawHub →

Historical movement

Timeline plus trend snapshots for security, reviews, and reputation tilt.

Open timeline →

Beta · Data may lag

Trend Charts

30 / 90 / 180 day snapshots for ranking movement and security-score movement.

Last updated unknown UTC

Loading trend data…

Submit your review

Share your experience and help others find the best skills.

Newsletter

Stay updated on Leanstral Formal Verification and the wider SkillsReview ecosystem

Get the weekly Top 5, fresh security alerts, and newly hot skills by email. You can unsubscribe from any newsletter email in one click.