acorn-proverVerify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.
Install via ClawdBot CLI:
clawdbot install flyingnobita/acorn-proverGrade Fair — based on market validation, documentation quality, package completeness, maintenance status, and authenticity signals.
Generated Mar 21, 2026
Formal verification of cryptographic protocols like zero-knowledge proofs or secure multi-party computation using Acorn. This ensures mathematical correctness and security properties, reducing vulnerabilities in implementations.
Researchers use Acorn to formalize and verify complex mathematical theorems, such as in algebra or number theory. It aids in peer review by providing machine-checkable proofs, enhancing rigor and reproducibility.
Integrating Acorn into software development pipelines to verify critical algorithms or data structures. This helps ensure correctness in industries like finance or aerospace where errors can have high costs.
Using Acorn's training data generation feature to create problem-proof pairs for training AI models in automated reasoning. This supports AI research in formal methods and enhances model capabilities.
Generating structured documentation for Acorn libraries to improve maintainability and onboarding for teams. This is useful in collaborative projects where clear reference materials are essential.
Offer expert consulting to organizations needing formal verification of mathematical or cryptographic systems. Revenue comes from project-based fees for proof development, training, and integration support.
Provide a cloud-based platform where users can upload Acorn proof files for automated verification and collaboration. Revenue is generated through subscription tiers based on usage, storage, and support levels.
Develop and sell training courses and certifications for Acorn usage, targeting academia and industry professionals. Revenue streams include course fees, certification exams, and corporate training packages.
💬 Integration Tip
Ensure ACORN_LIB and ACORN_PROJECT paths are correctly set in config.env before running commands to avoid verification errors.
Scored Apr 19, 2026
Control desktop applications on Windows — launch, close, focus, resize, move windows, simulate keyboard/mouse input, manage processes, control VSCode, read clipboard, and capture screen info. Use when the user wants to interact with any running program, switch windows, type text, press shortcuts, open files in VSCode, manage running processes, or get system display information.
Conduct rigorous, adversarial code reviews with zero tolerance for mediocrity. Use when users ask to "critically review" my code or a PR, "critique my code", "find issues in my code", or "what's wrong with this code". Identifies security holes, lazy patterns, edge case failures, and bad practices across Python, R, JavaScript/TypeScript, SQL, and front-end code. Scrutinizes error handling, type safety, performance, accessibility, and code quality. Provides structured feedback with severity tiers (Blocking, Required, Suggestions) and specific, actionable recommendations.
Coding style memory that adapts to your preferences, conventions, and patterns for consistent coding.
Pragmatic coding standards for writing clean, maintainable code — naming, functions, structure, anti-patterns, and pre-edit safety checks. Use when writing new code, refactoring existing code, reviewing code quality, or establishing coding standards.
Claude Code integration for OpenClaw. This skill provides interfaces to: - Query Claude Code documentation from https://code.claude.com/docs - Manage subagents and coding tasks - Execute AI-assisted coding workflows - Access best practices and common workflows Use this skill when users want to: - Get help with coding tasks - Query Claude Code documentation - Manage AI-assisted development workflows - Execute complex programming tasks
Plan, draft, version, and refine written content with enforced versioning and quality audits.