actualize
This skill audits and synchronizes an FPF (Formal Proof Framework) knowledge base against recent git changes to identify context drift, stale evidence, and…
Community author
- Agents
- Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode, claude.ai and API
- License
- AGPL-3.0 (copyleft)
- Pin
- 23e2428pinned Oct 9, 2026
- Context cost
- about 910 tokenswhen the skill loads
- GitHub stars
- 1,748on neolabhq/context-engineering-kit
- Scripts
- None found
What it does
“Reconcile the project's FPF state with recent repository changes”
Generated summary from the skill's own text
This skill audits and synchronizes an FPF (Formal Proof Framework) knowledge base against recent git changes to identify context drift, stale evidence, and outdated decisions. It tracks what has changed in the codebase and flags which documentation, evidence, and decision records need updating to stay aligned with current project reality.
When to use it
- Before starting new development work to ensure knowledge base currency
- After major code or configuration changes to sync evidence with reality
- As weekly maintenance to manage epistemic debt and freshness
- Before making architectural decisions to verify evidence validity
When not to
- Projects without an FPF knowledge base or formal assurance case structure
- When only code review or testing is needed without documentation audit
Install
These commands install from the publisher's repository and need no account.
skills CLI
npx skills add neolabhq/context-engineering-kit --skill actualizeInstalls from the repository's default branch, which may have changed since the commit we checked.
GitHub CLI 2.90 or later
gh skill install neolabhq/context-engineering-kit actualize@23e2428e809d77717f8acc9659c374a3a1fcb93eInstalls the commit we checked (23e2428).
Copy by hand
Download the folder at 23e2428 and put it in .claude/skills/actualize for Claude Code and in .agents/skills/actualize for Codex, Cursor, Gemini CLI, GitHub Copilot and OpenCode.
Copy for your agent
A prompt for any coding agent. It installs this skill from GitHub at the pinned commit, copies the files as they are, and runs nothing unless you ask.
Prompt
Install the agent skill "actualize" by NeoLabHQ. Source, pinned to commit 23e2428e809d77717f8acc9659c374a3a1fcb93e: https://github.com/neolabhq/context-engineering-kit/tree/23e2428e809d77717f8acc9659c374a3a1fcb93e/skills/actualize 1. Download that folder at exactly this commit. Do not use the default branch. 2. Copy every file unchanged, keeping the folder structure, into .claude/skills/actualize/ for Claude Code and .agents/skills/actualize/ for Codex, Cursor, Gemini CLI, GitHub Copilot and OpenCode. Create the folders if they do not exist. 3. Do not edit the files, and do not run any script in the folder unless I ask you to. 4. When you are done, list the files you copied and where you put them. Listing and checks: https://www.agentnative.dev/skills/neolabhq/actualize
SKILL.md at the pin
--- name: actualize description: "Reconcile the project's FPF state with recent repository changes" --- # Actualize Knowledge Base This command is a core part of maintaining a living assurance case. It keeps your FPF knowledge base (`.fpf/`) in sync with the evolving reality of your project's codebase. The command performs a three-part audit against recent git changes to surface potential context drift, stale evidence, and outdated decisions. This aligns with the **Observe** phase of the FPF Canonical Evolution Loop (B.4) and helps manage **Epistemic Debt** (B.3.4). ## Action (Run-Time) ### Step 1: Check Git Changes Run git commands to identify changes since last actualization: ```bash # Get current commit hash git rev-parse HEAD # Check for changes since last known baseline # (Read .fpf/.baseline file if it exists, otherwise use initial commit) git diff --name-only <baseline_commit> HEAD # List all changed files git diff --stat <baseline_commit> HEAD ``` ### Step 2: Analyze Report for Context Drift 1. Review changed files for core project configuration: - `package.json`, `go.mod`, `Cargo.toml`, `requirements.txt` - `Dockerfile`, `docker-compose.yml` - `.env.example`, config files 2. If configuration files changed: - Re-read project structure (README, config files) - Compare detected context with `.fpf/context.md` - Present diff to user 3. Ask user if they want to update `context.md` ### Step 3: Analyze Report for Evidence Staleness (Epistemic Debt) 1. Read all evidence files in `.fpf/evidence/` 2. Check `carrier_ref` field in each evidence file 3. Cross-reference with changed files from git diff 4. If a referenced file changed: - Flag the evidence as **STALE** - Note which hypothesis is affected ### Step 4: Analyze Report for Decision Relevance 1. Read all DRR files in `.fpf/decisions/` 2. Trace back to source evidence and hypothesis files 3. If foundational files changed: - Flag the DRR as **POTENTIALLY OUTDATED** ### Step 5: Update Baseline Create/update `.fpf/.baseline` file: ``` # FPF Actualization Baseline # Last actualized: 2025-01-15T16:00:00Z commit: abc123def456 ``` ### Step 6: Present Findings Output a structured report: ```markdown ## Actualization Report **Baseline**: abc123 (2025-01-10) **Current**: def456 (2025-01-15) **Files Changed**: 42 ### Context Drift The following configuration files have changed: - package.json (+5 dependencies) - Dockerfile (base image updated) **Action Required**: Review and update `.fpf/context.md` if constraints have changed. ### Stale Evidence (3 items) | Evidence | Hypothesis | Changed File | |----------|------------|--------------| | ev-benchmark-api | api-optimization | src/api/handler.ts | | ev-test-auth | auth-module | src/auth/login.ts | | ev-perf-db | db-indexing | migrations/002.sql | **Action Required**: Re-validate to refresh evidence for affected hypotheses. ### Decisions to Review (1 item) | DRR | Affected By | |-----|-------------| | DRR-2025-01-10-api-design | src/api/handler.ts changed | **Action Required**: Consider re-evaluating decision via `/fpf:propose-hypotheses`. ### Summary - Context drift detected: YES - Stale evidence: 3 items - Decisions to review: 1 item Run `/fpf:decay` for detailed freshness management. ``` ## File: .fpf/.baseline Track the last actualization point: ```yaml # FPF Actualization Baseline last_actualized: 2025-01-15T16:00:00Z commit: abc123def456789 branch: main ``` ## When to Run - **Before starting new work**: Ensure knowledge base is current - **After major changes**: Sync evidence with code changes - **Weekly maintenance**: Part of regular hygiene - **Before decisions**: Ensure evidence is still valid
From neolabhq/context-engineering-kit at 23e2428, shown as plain text under its license: AGPL-3.0 (copyleft). The license text is in LICENSE.
View SKILL.md on GitHub at 23e2428Files
- SKILL.md3.7 KB · d3a3c9c4d019
1 file, 3.7 KB in total. Each file has a sha256 in the pin's manifest; the first 12 characters are shown.
Skill folder on GitHub at 23e2428Related in Coding workflow
planning
This skill orchestrates multi-workflow projects with dependencies and shared data tables by creating a task graph in the orchestrator via the create-tasks tool.
by n8nOfficial publisher
Claude Code, Codex, Cursor +3 · about 2.4K tokens · pinned 6 days ago
progressive-building
This skill implements incremental workflow development for agents building or extending workflows.
by n8nOfficial publisher
Claude Code, Codex, Cursor +3 · about 1.4K tokens · pinned 6 days ago
workflow-builder
Builds and edits n8n workflows using the TypeScript SDK.
by n8nOfficial publisher
Claude Code, Codex, Cursor +3 · about 14.2K tokens · pinned 6 days ago
remotion-upgrade
This skill upgrades Remotion and its related packages to the latest stable version.
by RemotionOfficial publisher
Claude Code, Codex, Cursor +3 · about 460 tokens · pinned 6 days ago
remotion-upgrade
This skill upgrades Remotion and related packages across a project, automatically detecting the package manager and workspaces.
by RemotionOfficial publisher
Claude Code, Codex, Cursor +3 · about 460 tokens · pinned 6 days ago
final-release-review
Audits Python SDK release candidates or plans against the previous release, comparing diffs for regressions, API changes, and version compatibility.
by OpenAIOfficial publisher
Contains scripts
Claude Code, Codex, Cursor +3 · about 5.4K tokens · pinned 6 days ago