formal-crypto
Verificação formal (Lean etc.) aplicada a proofs e crypto math.
Skill by maux339-cpu
Chalk Labs
Need help deploying formal-crypto?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/maux339-cpu-formal-crypto
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: finance
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/formal-crypto
What's inside
- Skill name
formal-crypto- Description
- Verificação formal (Lean etc.) aplicada a proofs e crypto math.
- License
- unknown
- Instructions
- 39 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from maux339-cpu/matematica
- 0.524score
matematica
maux339-cpu
Matemática profunda para cibersegurança e criptografia: teoria dos números, álgebra, curvas elípticas, lattices/PQC, SageMath, cryptanalysis math, formal…
SkillBFreshness: BClaude Code +9 - 0.519score
wallet-audit-math
maux339-cpu
Checklist matemático + RE para auditoria de wallets e plataformas crypto: BIP-39 entropy, CSPRNG, ECDSA nonces, KDF storage, supply chain, PQC, MPC/threshold…
SkillBFreshness: BClaude Code +9 - 0.516score
quantum-pqc-wallets
maux339-cpu
Quantum threat model (Shor/Grover), NIST PQC (ML-KEM/ML-DSA/SLH-DSA), and wallet/platform migration for crypto auditors.
SkillBFreshness: BClaude Code +9 - 0.515score
entropy-audit
maux339-cpu
Auditoria funcional de entropia: fonte TRNG (SP 800-90B restart), bitstream (ent-like / gjrand), seed BIP-39, firmware entropy map, nonce RFC6979/anti-exfil.
SkillBFreshness: BClaude Code +9 - 0.513score
number-theory-crypto
maux339-cpu
Teoria dos números e álgebra para criptografia clássica (RSA, DLP, modular).
SkillBFreshness: BClaude Code +9 - 0.513score
cryptanalysis-math
maux339-cpu
Cryptanalysis matemática em lab/CTF — algebraic, lattice, statistical (defensivo).
SkillBFreshness: BClaude Code +9 - 0.513score
math-crypto-router
maux339-cpu
Entrada e diagnóstico de trilha matemática para crypto/security.
SkillBFreshness: BClaude Code +9 - 0.513score
elliptic-curves-crypto
maux339-cpu
Curvas elípticas, ECDLP, secp256k1, modular forms intro para crypto.
SkillBFreshness: BClaude Code +9 - 0.513score
sage-toolkit
maux339-cpu
Workflows SageMath, PARI/GP, fpylll, Magma-like tasks para crypto math.
SkillBFreshness: BClaude Code +9 - 0.510score
lattices-pqc
maux339-cpu
Lattices, CVP/SVP/LWE e criptografia pós-quântica (NIST).
SkillBFreshness: BClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Aug 1, 2026 (3 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/maux339-cpu/matematica
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from maux339-cpu
- 0.524score
matematica
maux339-cpu
Matemática profunda para cibersegurança e criptografia: teoria dos números, álgebra, curvas elípticas, lattices/PQC, SageMath, cryptanalysis math, formal…
SkillBFreshness: BClaude Code +9 - 0.519score
wallet-audit-math
maux339-cpu
Checklist matemático + RE para auditoria de wallets e plataformas crypto: BIP-39 entropy, CSPRNG, ECDSA nonces, KDF storage, supply chain, PQC, MPC/threshold…
SkillBFreshness: BClaude Code +9 - 0.516score
quantum-pqc-wallets
maux339-cpu
Quantum threat model (Shor/Grover), NIST PQC (ML-KEM/ML-DSA/SLH-DSA), and wallet/platform migration for crypto auditors.
SkillBFreshness: BClaude Code +9 - 0.515score
entropy-audit
maux339-cpu
Auditoria funcional de entropia: fonte TRNG (SP 800-90B restart), bitstream (ent-like / gjrand), seed BIP-39, firmware entropy map, nonce RFC6979/anti-exfil.
SkillBFreshness: BClaude Code +9 - 0.513score
number-theory-crypto
maux339-cpu
Teoria dos números e álgebra para criptografia clássica (RSA, DLP, modular).
SkillBFreshness: BClaude Code +9 - 0.513score
cryptanalysis-math
maux339-cpu
Cryptanalysis matemática em lab/CTF — algebraic, lattice, statistical (defensivo).
SkillBFreshness: BClaude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get formal-crypto running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
formal-crypto skill. Agent Mart. https://agentmart.dev/skills/maux339-cpu-formal-crypto (last updated 2026-10-24)