What is GEVINO-Civile AGENTS.md?

Programming instructions for the GEVINO Civile, an Arduino Zero-compatible PLC for home and building automation. A PLC is a programmable controller that operates hardware such as relays and sensors.

Use it when writing Arduino or C++ firmware for the board, including relay and input control, serial and bus communication, storage, and optional network or display modules.

It gives coding agents the board’s hardware details, pin-map guidance, supported tools, and rules for writing reliable firmware. It also explains how to avoid blocking the main program loop.

How geva-elettronica/GEVINO-Civile configures Codex and OpenCode

Reuse

Borrowing it

Nothing to install: this file belongs to geva-elettronica/GEVINO-Civile. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file

curl -O https://raw.githubusercontent.com/geva-elettronica/GEVINO-Civile/main/AGENTS.md

Clone the repo

git clone --depth 1 https://github.com/geva-elettronica/GEVINO-Civile

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

README.md

[![agentmods](https://agentmods.dev/badge/instructions/geva-elettronica/gevino-civile/agents-md/github.svg)](https://agentmods.dev/instructions/geva-elettronica/gevino-civile/agents-md)

Your own site

<a href="https://agentmods.dev/instructions/geva-elettronica/gevino-civile/agents-md"><img src="https://agentmods.dev/badge/instructions/geva-elettronica/gevino-civile/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

Your own site · 80×15

<a href="https://agentmods.dev/instructions/geva-elettronica/gevino-civile/agents-md"><img src="https://agentmods.dev/badge/instructions/geva-elettronica/gevino-civile/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

Per session 2,538 This file is loaded in full into every session.

When invoked 2,538 The same file — it is already loaded in full.

Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.

Origin original No closer match found in the catalogue.

Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

Model	Per session	Once invoked
Fable 5.1	$0.02538	$0.02538
Opus 5	$0.01269	$0.01269
Sonnet 5	$0.00508	$0.00508
Haiku 4.5	$0.00254	$0.00254

Measured 11d ago against content hash b660152762fc, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-11, from the pricing page.

Security

Grade A, and why

GEVINO-Civile AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 11d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

Copies of this mod

1 near-identical copy found in the catalogue:

GEVINO-Motor AGENTS.md — 86% identical, 220 lines differ

AGENTS.md · 233 lines

How it starts

The opening of the file, as written. The whole thing — 233 lines — stays where its author put it; the contents beside it link to each section on GitHub.

AGENTS.md — Programming guide for the GEVINO Civile

This file is written for LLMs and AI coding agents (Claude Code, Cursor, Copilot, etc.) that write firmware for the GEVINO Civile PLC. It is also useful to human developers. If you are generating Arduino/C++ code for this board, follow these rules.

What the board is

GEVINO Civile is an Arduino Zero compatible PLC for home and building automation, based on the Microchip SAMD21 (32-bit ARM Cortex-M0+, 48 MHz, 256 KB flash, 32 KB RAM). It has 3 relays (expandable to 7 outputs, K1…K7), 4 digital 12 V inputs, an RS485 bus, M-Bus, a micro-SD slot, 5 serial ports and optional Ethernet / Wi-Fi / Bluetooth / SIM800 / RTC / OLED modules. Program it with the Arduino IDE using the Arduino SAMD core (board Arduino Zero, Native USB Port); it also works with Cursor and OpenPLC.

The complete pin map and specifications are in README.md and in the single library header src/gevino_civile_io.h.

Golden rules

Write non-blocking, state-based code. Prefer switch/case state machines. Never block the loop() with delay() in production logic.
Include only one header: #include "gevino_civile_io.h". It bundles the I/O definitions, the extra SERCOM UARTs (Serial2/Serial3), the SAMD21 ADC helpers and the Timer class.
Include it in exactly ONE translation unit (your main .ino): the header instantiates the Serial2/Serial3 UART objects and their interrupt handlers.
Do not initialise the I/O yourself. gevino_io_setup() configures every pin, drive strength, LEDs, RS485 and resets the SIM800. Call it once in setup(), after Serial2.begin() / Serial3.begin().
Use the macros from the header (In1…In4, setK1…setK7, resK1…resK7, setLed, set_RS485_TxEn, …). Do not hard-code raw pin numbers.

Hardware revision flag

The library targets GEVINO Civile v1.4 by default. For the older v1.2 hardware, define for_v1_2 before including the header. The only pin that changes is the RS485 transmit-enable (pin 2 on v1.4, A0 on v1.2):

Read the full file on GitHub · 233 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

11d ago First seen · 233 lines · 2,538 tokens per session scan A b660152762fc

Subscribe to this mod's changes

GEVINO-Civile AGENTS.md is an instructions file published in the GitHub repository geva-elettronica/GEVINO-Civile (5 stars, last pushed 2mo ago), licensed MIT. It adds 2,538 tokens to every session, about $0.0127 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Hardware and IoT documentation embedded-ai embedded-systems gevino gevino-ai industrial-ai

next.js AGENTS.md

AGENTS.md instructions for vercel/next.js, covering next.js development guide, codebase structure, monorepo overview, core package: packages/next and other important packages.

vercel/next.js · 7,296 tokens

codex AGENTS.md

AGENTS.md instructions for openai/codex, covering rust/codex-rs, the codex-core crate, code review rules, crate api surface and model visible context.

openai/codex · 5,153 tokens

vscode buildNext.instructions.md

Working notes and architecture documentation for the new esbuild-based build system in build/next. Use when making changes to the new build pipeline (transpile/bundle commands, NLS plugin, source-map handling, resource copying, or self-hosting watch tasks).

microsoft/vscode · 6,785 tokens

GEVINO-Civile: Instructions file for Codex