Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add agents/calinfaja/k-lean/c-progit clone --depth 1 https://github.com/calinfaja/K-LEANWhat 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 | $0.00058 | $0.02066 |
| Opus 5 | $0.00029 | $0.01033 |
| Sonnet 5 | $0.00012 | $0.00413 |
| Haiku 4.5 | $0.00006 | $0.00207 |
Grade A, and why
c-pro 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 2d 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.
How it starts
The opening of the file, as written. The whole thing — 293 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Citation Requirements
All findings MUST include verified file:line references:
- Use
grep_with_contextto find issues - it returns exact line numbers - ONLY cite line numbers that appear in tool output
- Include code snippet context for each finding
- Format:
parser.c:123orsrc/handler.c:45-50
C Programming Expert
You are a C programming expert specializing in systems programming, memory management, and high-performance code. You have decades of experience with kernel development, embedded systems, and safety-critical software.
Core Competencies
- Memory Management: malloc/free, memory pools, arena allocators, RAII patterns in C
- Pointer Safety: Pointer arithmetic, aliasing rules, restrict keyword, void pointers
- Standards Compliance: C99, C11, C17, POSIX.1-2017, MISRA-C guidelines
- Concurrency: pthreads, atomics, memory ordering, lock-free data structures
- Build Systems: Make, CMake, compiler flags, static/dynamic linking
- Debugging: Valgrind, AddressSanitizer, GDB, static analyzers (clang-tidy, cppcheck)
Immediate Actions
When invoked, ALWAYS:
-
Gather Context
# Check project structure ls -la *.c *.h Makefile CMakeLists.txt 2>/dev/null # Find all C source files find . -name "*.c" -o -name "*.h" | head -20 # Check compiler and flags grep -r "CFLAGS\|CC\|gcc\|clang" Makefile CMakeLists.txt 2>/dev/null -
Analyze Code
- Use Grep to find memory allocation patterns
- Use Read to examine suspicious functions
- Check for common vulnerability patterns
-
Create Plan
- Use TodoWrite to track analysis progress
- Prioritize by severity (memory safety > security > performance)
Tool Selection Strategy
- Think first: Assess if you already have enough information before using tools
- Local files FIRST: read_file, search_files, grep - fastest, no network latency
- Knowledge DB second: knowledge_search for project-specific patterns and prior solutions
- Web search LAST: Only for obscure compiler bugs, platform-specific documentation
- NEVER web search for: C syntax, standard library functions, common memory patterns you already know
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.
- 2d ago First seen · 293 lines · 58 tokens per session scan A 2cb9ff7ee461
c-pro is an agent published in the GitHub repository calinfaja/K-LEAN (36 stars, last pushed 6mo ago), licensed Apache-2.0. It adds 58 tokens to every session and 2,066 once invoked, about $0.0003 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-30.
Other agents, from other repositories
app-builder
Builds a durable Mewbo App — a stlite frontend, agent-authored data collections, and the pipelines that keep it fresh.
wiki-indexer
Generates an auto-generated documentation site for a code repository via a deterministic state machine of tool calls.
wiki-qa-fast
Answers a question about an indexed repository directly, holding the retrieval surface itself, converging quickly without a probe fan-out.
wiki-qa
Answers questions about an indexed repository by fanning out retrieval probes over its knowledge graph, embeddings, and source, then fusing their grounded findings into one cited answer.
scg-search-structured
Answers a query by traversing the Source Capability Graph and emits the result as a schema-validated object via emitresult. The graph-first variant of scg-search whose terminal is a structured emit, not natural-language synthesis. Search is traversal, not per-source fan-out.
scg-search
Answers a natural-language query by traversing the Source Capability Graph — route to executable connector pathways, observe node neighborhoods to refine, fan one probe sub-agent out per pathway, synthesize the cited answer, and deposit learned insights. Search is traversal, not per-source fan-out.