skill-r-irbe-proof-skills-ai-commonsense-reasoning · by Install
$ agentstack add skill-r-irbe-proof-skills-ai-commonsense-reasoning ✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.
Security review
✓ PassedNo issues found. Passed automated security review. · v0.1.0 How review works →
- ✓ Prompt-injection patterns
- ✓ Secret / credential exfiltration
- ✓ Dangerous shell & filesystem operations
- ✓ Untrusted network calls
- ✓ Known-malicious package signatures
What it can access
- ✓ Network access No
- ✓ Filesystem access No
- ✓ Shell / process execution No
- ✓ Environment & secrets No
- ✓ Dynamic code execution No
From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.
Verified badge
Passed review? Show it. Paste this badge into your README, it links to the public security report.
Links to your public security report.[](https://agentstack.voostack.com/security/report/skill-r-irbe-proof-skills-ai-commonsense-reasoning) Reliability & compatibility
Declared compatibility
Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.
We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.
How agent discovery & health will work →About
Commonsense Reasoning
Formalizing the vast body of everyday knowledge that underlies human reasoning and is critical for AI systems operating in real-world contexts.
Routing
- USE FOR: Commonsense reasoning for AI systems — world knowledge, naive physics, folk psychology, temporal/spatial reasoning, default reasoning, and their formalization. Use for reasoning about everyday knowledge that humans take for granted but AI systems need explicitly, especially when a downstream project must make implicit context explicit.
- DO NOT USE FOR: formal KR/ontology engineering (use @ai-symbolic-neuro); causal/deontic reasoning (use @ai-causal-deontic); formalisation in Lean (use @lean-knowledge-formalization).
- TRIGGERS: commonsense, naive physics, folk psychology, temporal reasoning, spatial reasoning, default reasoning.
Workflow
- Classify the commonsense gap: naive physics, folk psychology, temporal, spatial, or default reasoning.
- Pick the matching paradigm from the body (qualitative reasoning, situation calculus, default logic, etc.) and the representative formalism.
- Apply the formalism to the concrete scenario; document where it does or doesn't yield the human-intuitive answer.
- Hand off: to
@ai-symbolic-neurofor ontology grounding, to@lean-knowledge-formalizationfor a Lean encoding, to@lean-zettelkasten.
Recovery & STOP
- STOP if the question is purely about KR/ontology — delegate to
@ai-symbolic-neuro. - STOP if the answer would require world-model data not in the body — escalate to
@research-council. - STOP if the question is about causal/deontic norms — delegate to
@ai-causal-deontic.
Handoffs
- Predecessors:
agent:gateway,skill:lean-research. - Successors:
skill:ai-symbolic-neuro,skill:lean-knowledge-formalization,skill:lean-zettelkasten.
Detailed reference
Full content for ai-commonsense-reasoning lives in [references/ai-commonsense-reasoning-handbook.md](../../references/ai-commonsense-reasoning-handbook.md). Load that file when the skill is convened; the SKILL.md only carries the dispatch contract and the parts index.
| Section | Topic | |---|---| | Part 1 | Commonsense Knowledge Domains | | Part 2 | Formal Commonsense Frameworks | | Part 3 | Qualitative Reasoning | | Part 4 | Theory of Mind & BDI | | Part 5 | Temporal Commonsense | | Part 6 | Commonsense Physics & Spatial Reasoning | | Part 7 | Integration with Lean Formalization | | Part 8 | Research Directions | | Part 9 | Skill Cross-References |
See also
- [
../../references/ai-commonsense-reasoning-handbook.md](../../references/ai-commonsense-reasoning-handbook.md) — Full handbook (extracted from this skill) - [
../ai-symbolic-neuro/SKILL.md](../ai-symbolic-neuro/SKILL.md) — Successor - [
../lean-knowledge-formalization/SKILL.md](../lean-knowledge-formalization/SKILL.md) — Successor - [
../lean-zettelkasten/SKILL.md](../lean-zettelkasten/SKILL.md) — Successor
Source & license
This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.
- Author: r-irbe
- Source: r-irbe/proof-skills
- License: Apache-2.0
- Homepage: https://github.com/r-irbe/proof-skills
Install and usage instructions live in the source repository linked above.
Reviews
No reviews yet, be the first.
Write a review
Versions
- v0.1.0 Imported from the upstream source.