6verity
Internal Wayfinder final resolver for Chinese CUMCM LaTeX quality gates.
Skill by Antrairs
Chalk Labs
Need help deploying 6verity?
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. Read the repository before you give any tool access to your data.
npx agentmarket install skill/antrairs-6verity
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: documents
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/6verity
Tools it pre-approves 9
From allowed-tools in SKILL.md: the agent may use these without asking you each time.
Bash(*),Read,Write,Edit,Grep,Glob,Agent,WebSearch,WebFetch
What's inside
- Skill name
6verity- Description
- Internal Wayfinder final resolver for Chinese CUMCM LaTeX quality gates. Check source evidence, text leaks, result consistency, code execution, compilation, and PDF readiness.
- License
- Apache-2.0
- Allowed tools
- Bash(*),, Read,, Write,, Edit,, Grep,, Glob,, Agent,, WebSearch,, WebFetch
- Instructions
- 28 lines in SKILL.md · view on GitHub
Before installing
- Pre-approves some shell commands
Files (1)
- SKILL.md
SKILL.md (first lines)
# LaTeX 验收解析器
这是内部 resolver，不重新设计模型，也不把失败藏在验收报告里。先运行：
python skills/wayfinder-mathmodel/scripts/check_claims.py \
--results-dir ROOT/results \
--paper-dir ROOT/paper \
--strict-values
再运行：
bash skills/wayfinder-mathmodel/scripts/compile_pdf.sh --paper-dir ROOT/paper
compile_pdf.sh 会继续调用 check_pdf.sh，逐页渲染 PDF 并检查页数、预览文件完整性；agent 仍需查看渲染页，确认没有截断公式、越界表格、空白页或不可读图。
检查以下硬门：
- 每条 results/*.md 都有结果契约字段，source_artifact 存在；
- 正文没有 TODO、占位符、内部流程词、因果免责声明或其他元话语；
- 关键 reported_value 能在 LaTeX 源中找到；
- 图表路径存在且有 caption、正文引用和解释；
- Python 代码曾实际运行，约束/误差/敏感性检验记录在结果中；
- main.tex 用 XeLaTeX 或 latexmk 成功生成 paper/main.pdf；
- PDF 页面没有空白页、截断公式、越界表格或无法阅读的图。
发现问题时，把修复动作退回产生问题的票据；验收票据只记录检查结果和下一张依赖票据，不另起独立验收文档。全部通过后才能进入最终 HITL 发布确认。From Antrairs/mathmodel-skills, Apache-2.0.
More from Antrairs/mathmodel-skills
- 0.529score
wayfinder-mathmodel
Antrairs
Use when a mathematical modeling problem must be solved from its statement and attachments into a high-quality Chinese CUMCM paper: plan and execute through a…
SkillBFreshness: BClaude Code - 0.521score
2analysis-modeling
Antrairs
Internal Wayfinder resolver for mathematical-model design.
SkillBFreshness: BClaude Code - 0.521score
5writing
Antrairs
Internal Wayfinder resolver for a complete Chinese CUMCM LaTeX paper.
SkillBFreshness: BClaude Code - 0.518score
doctor
Antrairs
手动触发的环境检查向导。检查 Wayfinder 数学建模与中文 CUMCM LaTeX PDF 所需依赖，并为缺失项给出安装建议。
SkillBFreshness: BClaude Code +9 - 0.516score
3coding-visual
Antrairs
Internal Wayfinder resolver for Python computation and evidence.
SkillBFreshness: BClaude Code - 0.516score
4drawio
Antrairs
Internal optional visual resolver for a Wayfinder paper.
SkillBFreshness: BClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Aug 23, 2026 (2 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- Apache-2.0
- Repository
- github.com/Antrairs/mathmodel-skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from Antrairs
- 0.529score
wayfinder-mathmodel
Antrairs
Use when a mathematical modeling problem must be solved from its statement and attachments into a high-quality Chinese CUMCM paper: plan and execute through a…
SkillBFreshness: BClaude Code - 0.521score
2analysis-modeling
Antrairs
Internal Wayfinder resolver for mathematical-model design.
SkillBFreshness: BClaude Code - 0.521score
5writing
Antrairs
Internal Wayfinder resolver for a complete Chinese CUMCM LaTeX paper.
SkillBFreshness: BClaude Code - 0.518score
doctor
Antrairs
手动触发的环境检查向导。检查 Wayfinder 数学建模与中文 CUMCM LaTeX PDF 所需依赖，并为缺失项给出安装建议。
SkillBFreshness: BClaude Code +9 - 0.516score
3coding-visual
Antrairs
Internal Wayfinder resolver for Python computation and evidence.
SkillBFreshness: BClaude Code - 0.516score
4drawio
Antrairs
Internal optional visual resolver for a Wayfinder paper.
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 6verity 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
6verity skill. Agent Mart. https://agentmart.dev/skills/antrairs-6verity (last updated 2026-10-24)