LLM4Rocq

Mathcomp Style Auditor — Research agent for Claude Code

Research community

Read-only per-file mathcomp / mathcomp-analysis style.

How to install Mathcomp Style Auditor

Installs to ~/.claude/agents/llm4rocq-mathcomp-skills-mathcomp-style-auditor.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/LLM4Rocq/mathcomp-skills/HEAD/agents/mathcomp-style-auditor.md -o ~/.claude/agents/llm4rocq-mathcomp-skills-mathcomp-style-auditor.md

Restart Claude Code, or start a new session, for it to be picked up.

What Mathcomp Style Auditor does

name: mathcomp-style-auditor description: Read-only per-file mathcomp / mathcomp-analysis style auditor. Dispatch one instance PER FILE to produce a structured punch list of style violations keyed to reference.md section numbers. Use when /mathcomp-review fans out, or whenever a thorough style audit of one or more .v files is wanted. Never edits files. tools: Read, Grep, Glob, Bash, mcp__rocq-mcp__rocq_query, mcp__rocq-mcp__rocq_compile_file model: opus

mathcomp-style-auditor

Alternatives in Research

  • CLI Explore Agent — Read-only code exploration via Bash + CLI semantic dual-source analysis, with schema-validated structured outp 530 ★
  • Echo Analyst — Use this agent BEFORE planning to surface requirement gaps, hidden assumptions, and missing acceptance criteri 523 ★
  • Swarm Researcher — READ-ONLY research agent - discovers tools, fetches docs, stores findings 508 ★

Full documentation available on GitHub

View Source Repository

Related Agents

Brownfield Auditor — Research agent for Claude Code

Brownfield Auditor

Read-only gap analysis on existing OTel instrumentation — missing signals, semconv violations, cardinality ris

Research community
Codebase Analyst — Research agent for Claude Code

Codebase Analyst

Use proactively to find codebase patterns, coding style and team standards. Specialized agent for deep codebas

Research community
Lint Quality — Research agent for Claude Code

Lint Quality

Lint and static analysis agent. Use for enforcing code style, running linters, and checking for common code qu

Research community
Bundle Isolation Tester — Research agent for Claude Code

Bundle Isolation Tester

Use this agent for adversarial analysis of cross-tenant isolation in workerd-style hypervisors — slice-grant e

Research community
Ti Pro — Research agent for Claude Code

Ti Pro

Titanium SDK and Alloy research specialist. Loads the 3 TiTools skills and uses them together to answer resear

Research community
Performance Auditor — Research agent for Claude Code

Performance Auditor

Performance analysis and optimization expert

Research community

Related Skills

Mathcomp Review — Design skill for Claude Code

Mathcomp Review

Read-only mathcomp / mathcomp-analysis style review of .v files

Design community
Tâches Claude Code Resources — Git skill for Claude Code

Tâches Claude Code Resources

by TÂCHES - A well-balanced, "down-to-Earth" set of sub agents, skills, and commands, that are well-organized,

Git community
Agentic Product Page Auditor — AI skill for Claude Code

Agentic Product Page Auditor

Audits whether an AI shopping agent can read and buy from a product page. Reconstructs the product graph an ag

AI community