KS
Killer-Skills

verify-simulator — how to use verify-simulator how to use verify-simulator, verify-simulator setup guide, RV32 simulation tools, Linux kernel startup testing, CoreMark and Dhrystone benchmarks, AXI interface verification, verify-simulator alternative, verify-simulator vs other simulators, verify-simulator install and configuration

v1.0.0
GitHub

About this Skill

Ideal for Embedded System Agents and AI testers requiring RV32 simulation validation and Linux kernel startup testing. verify-simulator is a single cycle RV32 simulator with AXI interface, used for verifying and testing Linux kernel startup and baremetal applications.

Features

Supports Linux kernel startup testing with MMU and virtual-to-physical address translation
Runs CoreMark and Dhrystone benchmarks for baremetal applications
Utilizes timeout command for quick regression testing and stability validation
Executes baremetal/linux.bin and other binary files for simulation
Allows for verification of CPU core logic and AXI interface functionality

# Core Topics

how to use verify-simulator verify-simulator setup guide RV32 simulation tools Linux kernel startup testing CoreMark and Dhrystone benchmarks AXI interface verification
dyh1807 dyh1807
[0]
[0]
Updated: 3/6/2026

↓ Quality Score

Top 5%
30
Excellent
Based on code quality & docs
Installation
SYS Universal Install (Auto-Detect)
Cursor IDE Windsurf IDE VS Code IDE
> npx killer-skills add dyh1807/riscv-axi-sim/verify-simulator

Agent Capability Analysis

The verify-simulator MCP Server by dyh1807 is an open-source Categories.community integration for Claude and other AI agents, enabling seamless task automation and capability expansion. Optimized for how to use verify-simulator, verify-simulator setup guide, RV32 simulation tools.

Ideal Agent Persona

Ideal for Embedded System Agents and AI testers requiring RV32 simulation validation and Linux kernel startup testing.

Core Value

Empowers agents to validate RV32 simulations, including Linux kernel startup and baremetal benchmarking using CoreMark and Dhrystone tests, ensuring reliable and efficient embedded system development with MMU and long-running process support.

↓ Capabilities Granted for verify-simulator MCP Server

Validating Linux kernel startup on RV32 simulations
Performing baremetal benchmarking with CoreMark and Dhrystone tests
Automating regression testing for RV32 simulations with timeout validation

! Prerequisites & Limits

  • Requires compiled project binaries
  • Limited to RV32 simulations and Linux kernel startup testing
  • Dependent on timeout command for regression testing
Project
SKILL.md
1.0 KB
.cursorrules
1.2 KB
package.json
240 B
Ready
UTF-8

# Tags

[No tags]
SKILL.md
Readonly

模拟器验证技能 / Simulator Verification Skills

本文档记录了项目编译后的常用验证测试方法。

1. Linux Kernel 启动测试

用途: 验证模拟器对 Linux 内核启动的支持，涉及复杂的虚实地址转换 (MMU) 和长时间运行。

  • 基本命令: 
    bash
    1./a.out baremetal/linux.bin
  • 超时验证: 由于 Linux 启动耗时较长，可以使用 timeout 命令（如设置 60 秒）来验证模拟器能否在指定时间内稳定运行，用于快速回归测试。 
    bash
    1timeout 60s ./a.out baremetal/linux.bin

2. Baremetal 基准测试 (CoreMark & Dhrystone)

用途: 验证 CoreMark 和 Dhrystone 基准测试正确性。相比 Linux，这些是较小的裸机程序，不涉及复杂的地址转换，适合快速验证 CPU 核心逻辑。

  • Dhrystone 测试: 
    bash
    1./a.out baremetal/new_dhrystone/dhrystone.bin
  • CoreMark 测试: 
    bash
    1./a.out baremetal/new_coremark/coremark.bin

Related Skills

Looking for an alternative to verify-simulator or building a Categories.community AI Agent? Explore these related open-source MCP Servers.

View All

widget-generator

Logo of f
f

widget-generator is an open-source AI agent skill for creating widget plugins that are injected into prompt feeds on prompts.chat. It supports two rendering modes: standard prompt widgets using default PromptCard styling and custom render widgets built as full React components.

★ 149.6k
⑂ 0
Design

chat-sdk

Logo of lobehub
lobehub

chat-sdk is a unified TypeScript SDK for building chat bots across multiple platforms, providing a single interface for deploying bot logic.

★ 73.0k
⑂ 0
Communication

zustand

Logo of lobehub
lobehub

The ultimate space for work and life — to find, build, and collaborate with agent teammates that grow with you. We are taking agent harness to the next level — enabling multi-agent collaboration, effortless agent team design, and introducing agents as the unit of work interaction.

★ 72.8k
⑂ 0
Communication

data-fetching

Logo of lobehub
lobehub

The ultimate space for work and life — to find, build, and collaborate with agent teammates that grow with you. We are taking agent harness to the next level — enabling multi-agent collaboration, effortless agent team design, and introducing agents as the unit of work interaction.

★ 72.8k
⑂ 0
Communication