Chalk Labs
Need help deploying code-analysis?
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/specula-org-code-analysis
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
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 and code. 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/code-analysis
What's inside
- Skill name
code-analysis- Description
- Code analysis for formal verification. Use when: (1) investigating a system implementation to identify what to model in TLA+, (2) performing bug archaeology on a codebase, (3) producing a modeling brief that guides spec generation.
- License
- Apache-2.0
- Instructions
- 3 lines in SKILL.md · view on GitHub
Agent Skills spec issues
- name: "code-analysis" does not match folder "code_analysis"
Files (11)
- SKILL.md
- cometbft-modeling-brief.md · examples/
- dpdk-ring-modeling-brief.md · examples/
- hashicorp-raft-modeling-brief.md · examples/
- guide.md
- bft-analysis.md · references/
- bug-archaeology.md · references/
- concurrent-analysis.md · references/
- deep-analysis.md · references/
- distributed-analysis.md · references/
- modeling-brief-format.md · references/
SKILL.md (first lines)
Read `guide.md` for the full workflow methodology.
From specula-org/Specula, Apache-2.0.
More from specula-org/Specula
- 0.761score
specula-lite
specula-org
Find bugs in concurrent or distributed code using TLA+ modeling, model checking, and code-level reproduction.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
incremental-modeling
specula-org
Incrementally evolve and verify an existing Specula TLA+ suite for a new source revision.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
bug-confirmation
specula-org
Bug confirmation and reproduction.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
tla-checking-workflow
specula-org
TLA+ Model Checking workflow.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
tla-trace-workflow
specula-org
TLA+ Trace Validation workflow.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
validation-workflow
specula-org
TLA+ Verification workflow (orchestration).
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
harness-generation
specula-org
Trace harness generation (Phase 2.5).
SkillBFreshness: B★ 575Claude Code +9 - 0.635score
spec-generation
specula-org
TLA+ spec generation from a modeling brief.
SkillBFreshness: B★ 575Claude Code +9 - 0.634score
byom
specula-org
Bring-your-own-model workflow for Specula.
SkillBFreshness: B★ 575Claude Code +9 - 0.634score
writing-modeling-guidance
specula-org
Writing target-specific modeling guidance for Specula.
SkillBFreshness: B★ 575Claude Code +9 - 0.631score
bug-classification
specula-org
Final reporting for Phase 4a results.
SkillBFreshness: B★ 575Claude Code +9
Signals
- Stars
- 575
- Forks
- 63
- Open issues
- 8
- Last commit (this folder)
- Sep 15, 2026 (1 month ago)
- Last release
- Sep 16, 2026 (1 month ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- Apache-2.0
- Repository
- github.com/specula-org/Specula
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from specula-org
- 0.761score
specula-lite
specula-org
Find bugs in concurrent or distributed code using TLA+ modeling, model checking, and code-level reproduction.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
incremental-modeling
specula-org
Incrementally evolve and verify an existing Specula TLA+ suite for a new source revision.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
bug-confirmation
specula-org
Bug confirmation and reproduction.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
tla-checking-workflow
specula-org
TLA+ Model Checking workflow.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
tla-trace-workflow
specula-org
TLA+ Trace Validation workflow.
SkillBFreshness: B★ 575Claude Code +9 - 0.639score
validation-workflow
specula-org
TLA+ Verification workflow (orchestration).
SkillBFreshness: B★ 575Claude 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 code-analysis 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
code-analysis skill. Agent Mart. https://agentmart.dev/skills/specula-org-code-analysis (last updated 2026-10-24)