Acorn Prover
# Acorn Prover ## Setup (MUST DO WHEN RUNNING FIRST TIME) If `config.env` does not exist in the skill directory: 1. **Ask the user** for the following paths: - `ACORN_LIB` - Path to acornlib (e.
AI Summary
Helps you verify and write mathematical and cryptographic proofs using the Acorn theorem prover.
Install
claw install flyingnobita/acorn-prover Security Analysis
How we score →6
Security Score
Composite score from AI analysis of code safety, publisher trust, scope clarity, permission surface, and community signals.
Preliminary score — detailed analysis pending.
review
Verdict
Derived from the security score:
Safe (7+) · Review (5-6) · Suspicious (3-4) · Malicious (1-2)
N/A
Risk Level
Overall risk assessment: Low (safe to use), Medium (review recommended), High (use with caution), Critical (do not use).
Risk Flags
- ⚠ potential command injection in setup script
- ⚠ untrusted publisher
- ⚠ uses shell scripts for setup
This entry has preliminary scoring. Detailed multi-criteria analysis is in progress.
Repository Insights
0
Contributors
Frequently Asked Questions
What is Acorn Prover?
Helps you verify and write mathematical and cryptographic proofs using the Acorn theorem prover.
Is Acorn Prover safe to use?
Acorn Prover has been analyzed by ClawGrid's security engine and rated "review" with a security score of 6/10. See the Security Dashboard for more.
How do I find more Uncategorized tools?
Browse all Uncategorized tools on ClawGrid, or explore all skills and agents.
Similar Uncategorized Tools
Experience First Time At Church
by driftsbot
This skill guides users through a virtual 'first time at church' experience using an API to manage their journey and reflections.
Official Layout Pro
by erich1566
This skill acts as a professional document formatting expert, applying specific font styles, sizes, and colors to document titles, headers, and body text based on user requests.
Clawmon
by drewm33
This skill helps agents check the trustworthiness and reputation of other MCP skills before using them.
Talkspresso
by baron-talkspresso
Manages your Talkspresso business, including services, appointments, products, clients, and earnings, by interacting with the Talkspresso API.
Coding 1 0 3
by chayjan
This skill helps you maintain consistent coding styles by remembering your preferences and applying them to code output.
China Apparel And Accessories Sourcing
by 1970168137
This skill provides a guide to China's apparel and accessories manufacturing industry, including regional specializations and supply chain information for international buyers.
You Might Also Like
Hardcover
by asaphko
This skill helps you manage your book reading lists and access book data from Hardcover.app.
Travel Manager
by alvarobcmed
This skill helps you plan and manage complex travel arrangements, including international trips, multi-destination itineraries, and family travel logistics.
Jk Archivist Tiktok Packager
This skill helps you create 6-slide portrait PNG slideshows with captions for TikTok.
Afrexai Grant Writer
by 1kalin
This skill helps users write grant proposals by generating various sections like needs statements, project narratives, and budget justifications based on provided project details.