Applied Epistemic Engineering toolkit — forge epistemically-governed scaffolds, stress-test belief systems, and run AEE pipelines.
Project description
specsmith
Applied Epistemic Engineering toolkit for AI-assisted development.
Intelligence proposes. Constraints decide. The ledger remembers.
specsmith treats belief systems like code: codable, testable, and deployable. It scaffolds epistemically-governed projects, stress-tests requirements as BeliefArtifacts, runs cryptographically-sealed trace vaults, and orchestrates AI agents under formal AEE governance.
It also co-installs the standalone epistemic Python library for direct use in any project:
from epistemic import AEESession # works in any Python 3.10+ project
from epistemic import BeliefArtifact, StressTester, CertaintyEngine
What is Applied Epistemic Engineering?
AEE treats requirements, decisions, and assumptions — the beliefs your project depends on — as engineering artifacts subject to the same discipline as code: version control, testing, and refactoring.
The 4-step core method: Frame → Disassemble → Stress-Test → Reconstruct
The 5 foundational axioms:
- Observability — every belief must be inspectable
- Falsifiability — every belief must be challengeable
- Irreducibility — beliefs decompose to atomic primitives
- Reconstructability — every failed belief can be rebuilt
- Convergence — stress-test + recovery always reaches Equilibrium
The AEE Workflow — 7 Phases
specsmith tracks your project through the full AEE development cycle:
🌱 Inception → 🏗 Architecture → 📋 Requirements → ✅ Test Spec
→ ⚙ Implementation → 🔬 Verification → 🚀 Release
specsmith phase # show current phase + readiness checklist
specsmith phase next # advance to the next phase (runs checks first)
specsmith phase set requirements # jump to a specific phase
specsmith phase list # list all phases
The current phase is persisted in scaffold.yml as aee_phase and displayed in the VS Code
Governance Panel. Each phase has a checklist of file/command criteria, recommended commands,
and a readiness percentage.
Install
Recommended — global install via pipx:
pipx install specsmith # core CLI + epistemic library
pipx inject specsmith anthropic # + Claude support
pipx inject specsmith openai # + GPT / O-series support
pipx inject specsmith google-generativeai # + Gemini support
Or with pip:
pip install specsmith # core
pip install "specsmith[anthropic]" # + Claude
pip install "specsmith[openai]" # + GPT/O-series
pip install "specsmith[gemini]" # + Gemini
Update:
pipx upgrade specsmith
specsmith self-update
Quick Start
# New project (interactive)
specsmith init
# Adopt an existing project
specsmith import --project-dir ./my-project
# Check governance health
specsmith audit --project-dir ./my-project
# Run AEE stress-test on requirements
specsmith stress-test --project-dir ./my-project
# Full epistemic audit (certainty + logic knots + recovery proposals)
specsmith epistemic-audit --project-dir ./my-project
# Start the agentic REPL
specsmith run --project-dir ./my-project
# Check current AEE workflow phase
specsmith phase --project-dir ./my-project
VS Code Extension
The specsmith AEE Workbench VS Code extension is the flagship client:
# Install specsmith first, then:
# VS Code: Ctrl+Shift+P → specsmith: New Agent Session
# Governance Panel: Ctrl+Shift+G
Key features:
- 5-tab Governance Panel — Project / Tools / Files / Updates & System / Actions & AI
- AEE phase indicator — shows current phase with readiness %, Next Phase button, and phase selector
- AI agent sessions — independent process per project, JSONL bridge, chat with file injection
- Live model listing — Anthropic, OpenAI, Gemini, Mistral, local Ollama (GPU-aware)
- Ollama integration — browse curated catalog, download models with progress, task-based suggestions
- FPGA/HDL tool support — vivado, gtkwave, vsg, ghdl, verilator, yosys, nextpnr, and 15 more
- API key management — stored in OS credential store (Windows Credential Manager / macOS Keychain)
- Update checker — PyPI version check with Install Update button, system info panel
- Auto-open — governance panel opens automatically when VS Code starts with a workspace
Ollama — Local LLMs (Zero API Cost)
specsmith has first-class Ollama support, including:
specsmith ollama gpu # detect GPU and VRAM tier
specsmith ollama available # show catalog filtered by VRAM budget
specsmith ollama available --task code # filter by task type
specsmith ollama pull qwen2.5:14b # download a model
specsmith ollama suggest requirements # task-based recommendations
specsmith ollama list # show installed models
GPU-aware context sizing in the VS Code extension: 4K/8K/16K/32K tokens based on detected VRAM.
Override with specsmith.ollamaContextLength in VS Code settings.
FPGA / HDL Projects
specsmith supports FPGA-specific project types with full governance:
# scaffold.yml
type: fpga-rtl-xilinx
fpga_tools:
- vivado
- gtkwave
- vsg
- ghdl
- verilator
Supported tools: Synthesis: vivado, quartus, radiant, diamond, gowin. Simulation: ghdl, iverilog, verilator, modelsim, questasim, xsim. Waveform: gtkwave, surfer. Linting: vsg, verible, svlint. Formal: symbiyosys. OSS flow: yosys, nextpnr, openFPGALoader.
50+ CLI Commands
Governance: init import audit validate diff upgrade compress doctor export architect
AEE Epistemic: stress-test epistemic-audit belief-graph trace seal/verify/log integrate
Workflow: phase show/set/next/list ledger add/list req list/add/gaps/trace
Agent: run agent providers/tools/skills
Ollama: ollama list/available/gpu/pull/suggest
Workspace: workspace init/audit/export
VCS: commit push sync branch pr status
Tools: exec ps abort watch optimize credits self-update
Auth: auth set/list/remove/check
Patent: patent search/prior-art
35 Project Types
Software: Python CLI/lib/web, Rust, Go, C/C++, .NET, Node.js/TypeScript, mobile, microservices, data/ML.
Hardware/Embedded: FPGA/RTL (Xilinx, Intel, Lattice, generic), Yocto BSP, embedded C/C++.
Documents: Technical specs, research papers, API specs, requirements management.
Business/Legal: Business plans, patent applications, compliance frameworks.
epistemic Library
The standalone epistemic Python library works in any Python 3.10+ project — no specsmith coupling:
from epistemic import AEESession, BeliefArtifact, StressTester
session = AEESession("my-project", threshold=0.70)
session.add_belief(
artifact_id="HYP-001",
propositions=["The API always returns valid JSON"],
epistemic_boundary=["Valid auth token required"],
)
session.accept("HYP-001")
result = session.run()
print(result.summary())
# certainty=0.55, failures=2, equilibrium=False
Use cases: linguistics research, compliance pipelines, AI alignment, patent prosecution.
Governance Rules (H1–H13)
13 hard rules enforced by specsmith validate:
- H11 — Every loop or blocking wait must have a timeout, fallback exit, and diagnostic message.
- H12 — Windows multi-step automation goes into
.cmdfiles, not inline shell invocations. - H13 — Agent tools must declare epistemic contracts (what they claim and what they cannot detect).
Documentation
specsmith.readthedocs.io — Full manual: AEE primer, command reference, project types, tool registry, governance model, Ollama guide, VS Code extension.
Links
License
MIT — Copyright (c) 2026 BitConcepts, LLC.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file specsmith-0.3.5.tar.gz.
File metadata
- Download URL: specsmith-0.3.5.tar.gz
- Upload date:
- Size: 275.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
0a068379623bb4cddf26c9c9465317437a6cec22e15db9684d30dd03082d2ce2
|
|
| MD5 |
c7c692e17371dd037d56128c6d2afe5f
|
|
| BLAKE2b-256 |
689b593a10323436283834214cd348182565dadfa802405f120f61512434b020
|
Provenance
The following attestation bundles were made for specsmith-0.3.5.tar.gz:
Publisher:
release.yml on BitConcepts/specsmith
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
specsmith-0.3.5.tar.gz -
Subject digest:
0a068379623bb4cddf26c9c9465317437a6cec22e15db9684d30dd03082d2ce2 - Sigstore transparency entry: 1247699047
- Sigstore integration time:
-
Permalink:
BitConcepts/specsmith@9d4d438d79b2ee16d6ad978bba3f8f9aa831c1a7 -
Branch / Tag:
refs/tags/v0.3.5 - Owner: https://github.com/BitConcepts
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@9d4d438d79b2ee16d6ad978bba3f8f9aa831c1a7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file specsmith-0.3.5-py3-none-any.whl.
File metadata
- Download URL: specsmith-0.3.5-py3-none-any.whl
- Upload date:
- Size: 316.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4deff399b2c00f5fc80832799008d4d6089beea11db76c86de94c03acc31e333
|
|
| MD5 |
86de4d53413a05e1e11207a316417612
|
|
| BLAKE2b-256 |
68e52730a8b1036ee16b9da0e58827763c7257e00b5f742823167a4fa09116ea
|
Provenance
The following attestation bundles were made for specsmith-0.3.5-py3-none-any.whl:
Publisher:
release.yml on BitConcepts/specsmith
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
specsmith-0.3.5-py3-none-any.whl -
Subject digest:
4deff399b2c00f5fc80832799008d4d6089beea11db76c86de94c03acc31e333 - Sigstore transparency entry: 1247699051
- Sigstore integration time:
-
Permalink:
BitConcepts/specsmith@9d4d438d79b2ee16d6ad978bba3f8f9aa831c1a7 -
Branch / Tag:
refs/tags/v0.3.5 - Owner: https://github.com/BitConcepts
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@9d4d438d79b2ee16d6ad978bba3f8f9aa831c1a7 -
Trigger Event:
push
-
Statement type: