Formal verification for real codebases with Claude Code: TLA+ and Lean 4 skills that find, reproduce, fix and prove concurrency and state bugs. MIT, by Opum AI.
☆25Sep 25, 2026Updated last month
Alternatives and similar repositories for proof-skills
Users that are interested in proof-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.☆35Updated this week
- VHK — AI 코딩 세션을 목표·증거·기억·규칙으로 묶는 한국어 CLI. 규칙 동기화, MCP 35 tools, verify/review/preflight 게이트.☆12Oct 21, 2026Updated last week
- 한국어 문서 교정·문체 개선·구조 정리 및 유형별 품질 평가를 위한 Agent Skill☆29Oct 7, 2026Updated 3 weeks ago
- Agent Skill: daily vibe coding / AI coding tools briefing for developers (sources, images, download links, post drafts). No API keys.☆18Updated this week
- Gov-chat-bot/공공기관용 카카오톡 상담 챗봇☆44Mar 25, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆24Apr 16, 2026Updated 6 months ago
- 네이버 쇼핑 리뷰 데이터를 통해 감성 분석하기(GRU, LSTM)☆10Sep 27, 2021Updated 5 years ago
- Multi-agent research harness: a research cycle end to end from the command line (Codex agents, Rust scheduler, Node CLI, Python drivers)☆17Updated this week
- Let any AI agent read your Mac — Calendar, Reminders, Notes, Contacts, Clipboard, Location, Weather — through Apple Shortcuts. Read-only,…☆14Sep 21, 2026Updated last month
- 개인정보 처리방침, 마케팅 수신동의, 이용약관을 처음부터 만들어 주는 Claude 스킬 (한국 법 기준)☆60Aug 30, 2026Updated 2 months ago
- 🇰🇷 소상공인(운영 중인 가게·자영업자) 지원사업 조사 에이전트 스킬 [Claude Code·Codex·agy(Antigravity)·Cursor·Gemini CLI 지원] 소상공인24·기업마당 전수 크롤링 + 프로필 기반 5단계 자격 판정 …☆45Jul 30, 2026Updated 3 months ago
- AI 시대에 다시 쓰는 자료 구조☆17Sep 13, 2026Updated last month
- ☆12May 1, 2026Updated 6 months ago
- ☆17Nov 29, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 악성 PowerShell 난독화를 실행 없이 정적으로 해제하고 IOC·행위를 분석하는 Windows 도구 (C# .NET 8 WPF)☆17Oct 10, 2026Updated 3 weeks ago
- Self-hosted scheduling — a simpler, rule-driven, open-source Calendly replacement. Zero npm dependencies.☆17Sep 21, 2026Updated last month
- 스마트스토어·쿠팡 통합관리 데스크톱 앱 (Tauri v2 + Rust) — 비상업 라이선스☆28Aug 1, 2026Updated 3 months ago
- Rust-based FAST local markdown search engine (with possible support for CJK)☆82Oct 15, 2026Updated 2 weeks ago
- Package manager for AI rules and prompts with semantic versioning and automatic distribution to AI tools.☆23Mar 24, 2026Updated 7 months ago
- Herdr mod: Atuin threads for the shown space, resumed in a new tab on click☆29Updated this week
- ☆18Mar 5, 2026Updated 7 months ago
- Guarded, recoverable web ChatGPT automation for local Codex projects on Windows and macOS☆53Sep 9, 2026Updated last month
- Zicores Trading Post Notifier☆11Apr 15, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 한국 시장 컨텍스트로 맥킨지식 사업 전략을 분석하는 비공식 Claude Code 에이전트 패키지 (npm: consultant-kr-cli)☆36Apr 25, 2026Updated 6 months ago
- 브라우저에서 직접 편집·저장하는 단독 HTML 문서. Claude Code·Codex용 Agent Skill과 HTML 변환 도구.☆75Sep 17, 2026Updated last month
- ☆10Jan 4, 2018Updated 8 years ago
- ☆18Apr 23, 2026Updated 6 months ago
- OpenAI Codex Complete Guide 101 — Bilingual (KR/EN) GitHub Pages site☆33Updated this week
- Numeric / Norminal Statistics, Certainty Factor, Normalize, ETL, TF-IDF, Discretization on Hadoop MapReduce☆11Jun 28, 2016Updated 10 years ago
- Negochat Corpus - a dialogue corpus in the negotiation domain☆10Mar 12, 2025Updated last year
- data science tutorials☆21Oct 20, 2022Updated 4 years ago
- Claude Code에 '15명 전문가 관점 + 자동 트리거' AI 개발 파트너 페르소나를 입히는 플러그인. 항상켜짐 hook + 조건부 skill + 인터뷰형 생성/편집 명령어, 세무·법률 면책 자동, 새 PC 이식형. Apache-2.0.☆17Aug 31, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- blockchain implementation for beginners☆12Aug 3, 2020Updated 6 years ago
- KakaoTalk Windows auto chat collector & archiver — cycle all rooms, export via Ctrl+S, SQLite + daily TXT, dashboard, full-text search, E…☆61Oct 1, 2026Updated last month
- Reusable app for performing cohort analysis on django projects.☆15Mar 2, 2012Updated 14 years ago
- ☆30Nov 10, 2024Updated last year
- Clone a mobile app into a working Expo / React Native project from screenshots. An open-source Claude Code skill.☆17Jul 16, 2026Updated 3 months ago
- RustDesk 1.5.0 fork for Korean users: 한/영 key works across macOS, Windows, Linux and Android, plus Android soft-keyboard Hangul fixes☆24Updated this week
- AI skill for mirroring public webpages into local pixel-perfect replicas with captured assets, visual QA, and rebranding inventories. 像素级…☆14May 9, 2026Updated 5 months ago