leanautoformalizationskills
leanautoformalizationskills is Portable Lean 4 autoformalization skills for Codex and Claude Code - scottnarmstrong/LeanAutoformalizationSkills. It is ranked #752 on the Vibe Coding Radar, in Skills & agent setups, first seen 25 days ago and shared in 1 post (2.3k views).
GitHub - scottnarmstrong/LeanAutoformalizationSkills: Portable Lean 4 autoformalization skills for Codex and Claude Code · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation LeanAutoformalizationSkills Public Notifications You must be signed in to change notification settings Fork 6 ( 6 ) Star 47 ( 47 ) You…
Alternatives to leanautoformalizationskills
- Plugin Catalog — Open a pull request that adds your plugin to the Hermes plugin catalog
- security-audit-skill — A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings -…
- Grok Bot for Linear — Connect Linear and Grok Bot to investigate product problems, plan work, and coordinate coding agents. Every decision…
- plugins — Free AI coding plugins
- video-director — A Claude skill for directing, building and verifying code-rendered videos (HTML/Canvas → MP4): principles, gated…
- obsidian-skills — Agent skills for Obsidian. Teach your agent to use Obsidian CLI and open formats including Markdown, Bases, JSON…
leanautoformalizationskills in numbers
- Rank on the Vibe Coding Radar: #752 of 2600
- Shared in 1 post by 1 account: @ObhishekSaha
- 2.3k views on those posts
- First seen 25 days ago, last shared 25 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Skills & agent setups
FAQ
What is leanautoformalizationskills?
Portable Lean 4 autoformalization skills for Codex and Claude Code - scottnarmstrong/LeanAutoformalizationSkills It was first shared on X 25 days ago and is ranked #752 on the Vibe Coding Radar.
Is leanautoformalizationskills free?
It is open source.
Who shared leanautoformalizationskills?
1 account on X, including @ObhishekSaha, in 1 post totalling 2.3k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 7.9k posts from 5k X accounts over the last 14 days, 2.6k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:18 UTC. Full method.